اگر و تنها اگر

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو






علامت‌های منطق
برای نشان دادن اگر و تنها اگر.

اگر و تنها اگر کلمه ربط در گزاره‌های دوشرطی در منطق است که دو گزاره شرطی را به هم پیوند می‌دهد. این دو گزاره شرطی، چنان‌اند که مقدم و تالی یکی از آن‌ها به ترتیب، تالی و مقدم دیگری است.

جدول راستگو[ویرایش]

در این جدول p مقدم و q تالی درنظر گرفته شده‌است. p ↔ q گزاره دوشرطی است. د به معنی درست یا راستگو و ن به معنی نادرست یا دروغگو است.

اگر و تنها اگر
p q p ↔ q
د د د
د ن ن
ن د ن
ن ن د

نمادها[ویرایش]

نمادهای منطقی به جای عبارت «اگر و تنها اگر» به کار می‌روند متعدد هستند، ولی عموماً نظیر به نظیر به کار می‌روند. مهم‌ترین این نمادها «↔»،⇔،«≡» هستند و معمولاً خوانده می‌شوند «اگر و تنها اگر P، Q » یا « دقیقاً اگر P، Q » یا «Q شرط لازم و کافی است برای P »

جستارهای وابسته[ویرایش]

منابع[ویرایش]

'*سیدعلی‌اصغر خندان. مغالطات. ویرایش سوم. چاپ سوم. تهران: بوستان کتاب انتشارات دفتر تبلیغات اسلامی، ۱۳۸۰. ۱۶۳.