הוכחה (לוגיקה מתמטית) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
עריכה לא מוצלחת שחזור לגרסה 14413857 מתאריך 06:56, 23 ביולי 2013 מאת VirtuOZ |
מ סדר תבניות בסוף הערך (בוט סדר הפרקים) |
||
שורה 3:
הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "הוכחה" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי [[תורת ההוכחות]].
{{קצרמר|מתמטיקה}}▼
[[קטגוריה:לוגיקה מתמטית]]
[[קטגוריה:הוכחה]]
▲{{קצרמר|מתמטיקה}}
|