סתירה (לוגיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
העכביש הסגול~ (שיחה | תרומות) יצירת דף |
|||
שורה 7:
* "הלכתי לשם וגם לא הלכתי לשם".
* "אני [[חוץ לארץ|בחו"ל]] וגם [[ארץ ישראל|בארץ]]".
נשים לב שהשלילה של פסוקים אלו היא אמת תמיד (כלומר טאוטולוגיה). למשל, '''השלילה''' של המשפט הראשון היא: "אני לא בירושלים או שאני
גם נוסחאות לוגיות שקבוצת הצבות האמת שלהן ריקה נחשבות לסתירות. למשל, בנוסחה <math>\ 5 < n < 2</math>, המשתנה n חופשי, אבל ערך האמת של כל הצבה הוא שקר.
▲נשים לב שהשלילה של פסוקים אלו היא אמת תמיד (כלומר טאוטולוגיה). למשל, '''השלילה''' של המשפט הראשון היא: "אני בירושלים או שאני לא בירושלים". מאוד קל להיווכח שפסוק זה הינו טאוטולוגיה.
| |||