اگر و تنها اگر: تفاوت میان نسخه‌ها

بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش
 
== جدول راستگو ==
در [[جدول صدق و کذب|این جدول]] pالف مقدم و qب تالیدو گزاره در نظر گرفته شده‌است. pالفqب گزاره دوشرطی «الف اگر و تنها اگر ب» است. 'اگر '' به معنی ''درست'' یا ''راستگو'' و ''' به معنی ''نادرست'' یا ''دروغگو'' باشد٬ آن‌گاه جدول صدق برای جملات دوشرطی به اسن صورت است.:
{| class = "wikitable"
|+ '''اگر و تنها اگر'''
|-
! style="width: 30%" | pالف
! style="width: 30%" | qب
! style="width: 30%" | pالفqب
|-
| د || د || د
 
== نمادها ==
در نوشتن نمادهای منطقی مختلفی برای نمایش دوشرطی (به جای عبارت «اگر و تنها اگر») به کار می‌روند این نمادها شامل «الف ↔ ب» ،«الف ⇔ ب»، «الف ≡ ب» هستند و که «الف اگر و تنها اگر ب» یا «الف اگر و فقط اگر ب» خوانده می‌شوند. همچنین «الف ↔ ب» را می‌توان به صورت «الف شرط لازم و کافی ب است» یا «ب شرط لازم و کافی الف است» خواند.
 
== جستارهای وابسته ==
۱۱۹

ویرایش