פורמליזם (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 89.139.212.80 (שיחה) לעריכה האחרונה של דניאל ב. |
|||
שורה 29:
להסברים מפורטים יותר בנושא זה, ראו בערך [[תחשיב הפסוקים]].
==הרחבה==
===שקילות===
:# '''היפוך סדר''' הטענות למשל: כל הילדים שותים פטל ל-כל מי ששותה פטל הוא ילד.
:# '''הוספת רק או הורדת רק''':כל הילדים שותים פטל ל-רק הילדים שותים פטל.
:# '''הפיכת טענות לשליליות או לחיוביות''': כל הילדים של פטל ל- כל כל מי שלא שותה פטל הוא לא ילדץ
אם עשינו שתיים המפעולות האלו המשפט שקול תרגיל:
כל ספרי המדע הוזלו-טענה מצא את הטענה השקולה לה-
:# כל מה שהוזל הוא ספרי מדע.
:# כל מה שלא הוזל אינו ספרי מדע.
:# רק ספרי מדע הוזלו.
:# יש ספרים שהוזלו.
===יחס טרזיטיבי===
אם a גורר את b ו-b גורר את c הרי ש-a גורר את c.
== התזה האקסיומטית ==
| |||