اگر و تنها اگر
از ویکی‌پدیا، دانشنامهٔ آزاد
↔
⇔
≡
⇔
≡
علامت‌های منطق
برای نشان دادن اگر و تنها اگر.
برای نشان دادن اگر و تنها اگر.
اگر و تنها اگر کلمه ربط در گزاره‌های دوشرطی در منطق است که دو گزاره شرطی را به هم پیوند می‌دهد. این دو گزاره شرطی، چنان‌اند که مقدم و تالی یکی از آن‌ها به ترتیب، تالی و مقدم دیگری است.
جدول راستگو[ویرایش]
در این جدول p مقدم و q تالی درنظر گرفته شده‌است. p ↔ q گزاره دوشرطی است. د به معنی درست یا راستگو و ن به معنی نادرست یا دروغگو است.
| p | q | p ↔ q |
|---|---|---|
| د | د | د |
| د | ن | ن |
| ن | د | ن |
| ن | ن | د |
نمادها[ویرایش]
نمادهای منطقی به جای عبارت «اگر و تنها اگر» به کار می‌روند متعدد هستند، ولی عموماً نظیر به نظیر به کار می‌روند. مهم‌ترین این نمادها «↔»،⇔،«≡» هستند و معمولاً خوانده می‌شوند «اگر و تنها اگر P، Q » یا « دقیقاً اگر P، Q » یا «Q شرط لازم و کافی است برای P »
جستارهای وابسته[ویرایش]
منابع[ویرایش]
'*سیدعلی‌اصغر خندان. مغالطات. ویرایش سوم. چاپ سوم. تهران: بوستان کتاب انتشارات دفتر تبلیغات اسلامی، ۱۳۸۰. ۱۶۳.
