رابط منطقی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Lipedia (بحث | مشارکت‌ها)
جز Logical connectives Hasse diagram
Tanhabot (بحث | مشارکت‌ها)
جز ربات: ویرایش جزئی
خط ۱:
در [[منطق]]، دو جمله (چه در [[زبان صوری|زبانی صوری]] و چه [[زبان طبیعی|زبانی طبیعی]]) ممکن است به وسیله '''ادات منطقی''' به هم وصل شوند تا یک جمله مرکب بسازند. ارزش راستی این ترکیب منحصراً از روی ارزش راستی جملات ساده‌تر مشخص می‌شود. به این ترتیب ادات منطقی تابعی را نشان می‌دهند که در صورتی که ارزش جمله مرکب یک ارزش راستی باشد، آن را یک [[تابع راستی]] می‌نامند و ادات منطقی را یک «ادات تابع راستی» خواهند خواند.
 
تابع راستی [[عطف منطقی|عطف]]، [[فصل (منطق)|فصل]] و [[التزام]] را شامل می‌شود.
 
== منبع ==
*{{یادکرد-ویکی|عنوان=Logical connective|پیوند=http://en.wikipedia.org/w/index.php?title=Logical_connective&oldid=220981826|بازیابی=۴ ژوئیه ۲۰۰۸|زبان=انگلیسی}}