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