در منطق، دو جمله (چه در زبانی صوری و چه زبانی طبیعی) ممکن است به وسیلهٔ ادات منطقی به هم وصل شوند تا یک جملهٔ مرکب بسازند. ارزش راستی این ترکیب منحصراً از روی ارزش راستی جملات سادهتر مشخص میشود. به این ترتیب ادات منطقی تابعی را نشان میدهند که در صورتی که ارزش جمله مرکب یک ارزش راستی باشد، آن را یک تابع راستی مینامند و ادات منطقی را یک «ادات تابع راستی» خواهند خواند.
تابع راستی عطف، فصل و التزام را شامل میشود.
- مشارکتکنندگان ویکیپدیا، «Logical connective»، ویکیپدیای انگلیسی، دانشنامهٔ آزاد (بازیابی در ۴ ژوئیه ۲۰۰۸).
|
ادات منطقی |
|
|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
علم منطق |
|
| تاریخ |
|
|
| مقالات اصلی |
|
|
| مفاهیم منطق |
|
|
| مجادلهها |
|
|
| افراد اصلی |
|
|
| فهرستها |
|
|
|
|
|
