הוכחות מתמטיות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Shay Ben Moshe (שיחה | תרומות) |
Shay Ben Moshe (שיחה | תרומות) |
||
שורה 57:
===לוגיקה===
*[[הוכחות מתמטיות/לוגיקה/משפט הנאותות|משפט הנאותות]]
*[[הוכחות מתמטיות/לוגיקה/משפט הדדוקציה|משפט הדדוקציה]]
*[[הוכחות מתמטיות/לוגיקה/משפט לינדנבאום|משפט לינדנבאום]]
|