כל מה שרצית לדעת על הוכחה (לוגיקה מתמטית):
בלוגיקה מתמטית, הוכחה היא סדרה סופית   a 1 , a 2 , a 3 , ⋯ , a n {\displaystyle \ a_{1},a_{2},a_{3},\cdots ,a_{n}} של פסוקים במסגרת שפת תחשיב יחסים נתונה, המורכבת מאקסיומות ומגזירות באמצעות כלל היסק (לרוב מודוס פוננס): לכל   1 ≤ i ≤ n {\displaystyle \ 1\leq i\leq n} , ‏   a i {\displaystyle \ a_{i}} היא אקסיומה, או שקיימים   i 1 , … , i k < i {\displaystyle \ i_{1},\ldots ,i_{k}<i} כך ש- a i {\displaystyle a_{i}} נגזר מ- a i 1 , … , a i k {\displaystyle a_{i_{1}},\ldots ,a_{i_{k}}} לפי אחד מכללי ההיסק.
בסדרה כזו אפשר לראות "הוכחה של המשפט   a n {\displaystyle \ a_{n}} ", משום שכל טענה היא או אקסיומה, או נובעת מטענות שהוכחו קודם לכן באמצעות כלל הגזירה.
הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "הוכחה" באופן פורמלי במסגרת תחום הלוגיקה מתמטית.
הענף של לוגיקה מתמטית העוסק בהוכחות קרוי תורת ההוכחות.
ערך זה הוא קצרמר בנושא מתמטיקה.
אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.
אוחזר מתוך "https://he.
wikipedia.
org/w/index.
php?title=הוכחה_(לוגיקה_מתמטית)&oldid=21797010"קטגוריות: קצרמר מתמטיקהלוגיקה מתמטיתהוכחהקטגוריה מוסתרת: קצרמר – כל הערכים
נלקח מויקיפדיה

הגדרות נוספות הקשורות להוכחה (לוגיקה מתמטית):
•קצרמר מתמטיקה
•לוגיקה מתמטית
•הוכחה