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