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

در [[جدول صدق و کذب|این جدول]] pالف مقدم و qب تالیدو گزاره در نظر گرفته شده‌است. pالف ↔ qب گزاره دوشرطی «الف اگر و تنها اگر ب» است. 'اگر 'د'' به معنی ''درست'' یا ''راستگو'' و ''ن'' به معنی ''نادرست'' یا ''دروغگو'' باشد٬ آن‌گاه جدول صدق برای جملات دوشرطی به اسن صورت است.:

! style="width: 30%" | pالف

! style="width: 30%" | qب

! style="width: 30%" | pالف ↔ qب

در نوشتن نمادهای منطقی مختلفی برای نمایش دوشرطی (به جای عبارت «اگر و تنها اگر») به کار می‌روند این نمادها شامل «الف ↔ ب» ،«الف ⇔ ب»، «الف ≡ ب» هستند و که «الف اگر و تنها اگر ب» یا «الف اگر و فقط اگر ب» خوانده می‌شوند. همچنین «الف ↔ ب» را می‌توان به صورت «الف شرط لازم و کافی ب است» یا «ب شرط لازم و کافی الف است» خواند.