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

محتوای حذف‌شده محتوای افزوده‌شده
خنثی‌سازی ویرایش 20997361 توسط 93.47.230.66 (بحث)
Hamid Hassani (بحث | مشارکت‌ها)
خط ۱:
<div class="infobox" style="border:1px solid #999; background:#fff; margin:0 0 .5em 1em; text-align:center; padding:5px; clear:right; font-size:smaller;">
<span style="font-size: 56px;">↔{{سخ}}{{سخ}}⇔{{سخ}}{{سخ}}≡</span>{{سخ}}{{سخ}}<div style="line-height: 120%; ">علامت‌های منطق{{سخ}}برای نشان دادن ''اگر و تنها اگر''.</div></div>
'''اگر و تنها اگر''' کلمه ربط در [[گزاره‌های دوشرطی]] در [[منطق]] است که دو گزاره شرطی را به هم پیوند می‌دهد. این دو گزاره شرطی، چنان‌اند که [[مقدم (منطق)|مقدم]] و [[تالی (منطق)|تالی]] یکی از آن‌ها به ترتیب، تالی و مقدم دیگری است.
 
خط ۲۲:
 
== نمادها ==
نمادهای منطقی به جای عبارت «اگر و تنها اگر» به کار می‌روند متعدد هستند، ولی عموماً نظیر به نظیر به کار می‌روند. مهم‌ترین این نمادها «↔» ،⇔، «≡» هستند و معمولاً خوانده می‌شوند «''اگر و تنها اگر P, Q'' » یا « ''دقیقاً اگر P, Q'' » یا «''Q شرط لازم و کافی است برای P'' »
 
== جستارهای وابسته ==