اگر و فقط اگر
از ویکی‌پدیا، دانشنامهٔ آزاد.
 |
در متن این مقاله از هیچ منبع و ماخذی نام برده نشده‌است. شما می‌توانید با افزودن منابع بر طبق اصول اثبات‌پذیری و شیوه‌نامهٔ ارجاع به منابع، به ویکی‌پدیا کمک کنید. مطالب بی‌منبع احتمالاً در آینده حذف خواهند شد. |
اگر و فقط اگر کلمه ربط در گزاره‌های دوشرطی در منطق است که دو گزاره شرطی را به هم پیوند می‌دهد. این دو گزاره شرطی، چنان‌اند که مقدم و تالی یکی از آن‌ها به ترتیب، تالی و مقدم دیگری است.
[ویرایش] جدول صدق و کذب
در این جدول p مقدم و q تالی درنظر گرفته شده‌است. p ↔ q گزاره دوشرطی است. د به معنی درست یا صادق و ن به معنی نادرست یا کاذب است.
| p | q | p ↔ q |
|---|---|---|
| د | د | د |
| د | ن | ن |
| ن | د | ن |
| ن | ن | د |
[ویرایش] نمادها
نمادهاي منطقي به جاي عبارت «اگر و فقط اگر» به كار مي‌روند متعدد هستند، اما عموماً نظير به نظير به كار مي‌روند. مهم‌ترین این نمادها «↔»،⇔،«≡» هستند و معمولاً خوانده می‌شوند «اگر و فقط اگر P، Q » یا « دقیقاً اگر P، Q » یا «Q شرط لازم و کافی است برای P »
