رابط‌های منطقی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در منطق، دو جمله (چه در زبانی صوری و چه زبانی طبیعی) ممکن است به وسیلهٔ ادات منطقی به هم وصل شوند تا یک جملهٔ مرکب بسازند. ارزش راستی این ترکیب منحصراً از روی ارزش راستی جملات ساده‌تر مشخص می‌شود. به این ترتیب ادات منطقی تابعی را نشان می‌دهند که در صورتی که ارزش جمله مرکب یک ارزش راستی باشد، آن را یک تابع راستی می‌نامند و ادات منطقی را یک «ادات تابع راستی» خواهند خواند.

تابع راستی عطف، فصل و التزام را شامل می‌شود.

Logical connectives table.svg

     

Logical connectives Hasse diagram.svg


منابع[ویرایش]

  • مشارکت‌کنندگان ویکی‌پدیا، «Logical connective»، ویکی‌پدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۴ ژوئیه ۲۰۰۸).