| Wikipedia ויקיפדיה העברית - האנציקל... |
הוכחה (לוגיקה מתמטית)
בלוגיקה מתמטית, הוכחה היא סדרה סופית 
של פסוקים במסגרת שפת תחשיב יחסים נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל 
, 
היא אקסיומה, או שקיימים כך ש-
נגזר מ- לפי אחד מכללי ההיסק. בסדרה כזו אפשר לראות "הוכחה של המשפט 
", משום שכל טענה שאינה אקסיומה נובעת מטענות שהוכחו קודם לכן באמצעות כלל הגזירה.
הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "הוכחה" באופן פורמלי במסגרת תחום הלוגיקה מתמטית. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי תורת ההוכחות.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
