סתירה (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ תעתיק המונח היווני. |
מ הוספת פרק קישורים חיצוניים + תבנית:בריטניקה (בערכים בהם אין קישורים חיצוניים) (תג) |
||
שורה 10:
גם נוסחאות לוגיות שקבוצת הצבות האמת שלהן ריקה נחשבות לסתירות. למשל, בנוסחה <math>\ 5 < n < 2</math>, המשתנה n חופשי, אבל ערך האמת של כל הצבה הוא שקר.
==קישורים חיצוניים==
* {{בריטניקה}}
[[קטגוריה:לוגיקה]]
|