שינויים

88-101 חשיבה מתמטית - לוגיקה פסוקית

נוספו 2 בתים, 08:36, 9 באפריל 2019
/* חוקי דה-מורגן */
*"לעיגול אין פינות" (T)
*"במשולש שווה שוקיים, חוצה הזוית מאונך לבסיס" (T)
*"רווק הינו גבר שאינו נשוי" (FT)
* <math>1<2, 2 \times 2=4</math> - פסוקים אמיתיים
* <math>1<0</math>- פסוק שקרי
* <math>\ \neg (A \wedge B) \equiv (\neg A) \vee (\neg B)</math>.
למשל, כמישהו כשמישהו שואל "האם עבר כאן קו 45 *או* קו 7?", תשובה שלילית פירושה "לא עבר כאן קו 45, *וגם* לא עבר כאן קו 7". אם רוכל מוכר שיקוי פלאים המצמיח שערות *וגם* מרפא שיעול, ורוצים להראות שהוא אינו דובר אמת, מספיק לבדוק שהשיקוי אינו מצמיח שערות, *או* אינו מרפא שיעול.
חוקי דה-מורגן מאפשרים לשפר את המשפט הקודם: