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