פורמליזם (מתמטיקה) – הבדלי גרסאות

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