לוגיקה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ הוספת קטגוריה:לוגיקה באמצעות HotCat |
אין תקציר עריכה |
||
שורה 1:
{{ספר חלקי}}
לוגיקה
יש בה שני תחומים עיקריים:תחשיב הפסוקים ותחשיב היחסים (פרדיקטים).
==תוכן העניינים==
שורה 15 ⟵ 14:
*[[/הרחבה וסיכום/]]
==
מושגים:
טאוטולוגיה - משפט שתמיד נכון ללא קשר לתוכנו,
קונטראדיקציה (סתירה) - משפט שתמיד לא נכון ללא קשר לתוכנו,
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.
==
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:30%"
|- style="background:paleturquoise"
!style="width:10%"| נכון
!style="width:10%"| לא-נכון
!style="width:10%"| נכון או לא-נכון
|-
|-
|}
|