לוגיקה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
|||
שורה 6:
תחשיב פסוקים
מושגים:
טאוטולוגיה-משפט שתמיד נכון ללא קשר לתוכנו,
קונטרדיקציה (סתירה)- משפט שתמיד לא נכון ללא קשר לתוכנו,
טבלאות אמת-טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומים.
== a או לא a ==
| |||