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