פורמליזם (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←דוגמה להצרנה: תקלדות והגהה. |
מאין תקציר עריכה |
||
שורה 24:
# <math>\ \lnot R \rightarrow \lnot U </math>
# <math>\ \lnot R \rightarrow U </math>
# <math>\ \lnot U \rightarrow
מבחינה [[לוגיקה|לוגית]], רק תשובה 4 שקולה להצהרה המקורית, ובפרט, היא היחידה שנובעת ממנה.
את ה[[שקילות (לוגיקה)|שקילות]] הנ"ל אפשר לוודא ישירות באמצעות [[טבלת אמת]].
שורה 61:
* [[פילוסופיה של המדע]]
* [[שלוש מהפכות קופרניקניות]]
[[קטגוריה:מושגים במתמטיקה]]
|