הוכחה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
מ שוחזר מעריכות של 2.52.76.169 (שיחה) לעריכה האחרונה של דוד שי |
||
שורה 1:
{{פירוש נוסף|נוכחי=מונח המתמטי והלוגי}}
ב[[מתמטיקה]] וב[[לוגיקה]] '''הוכחה''' היא סדרה סופית של [[טענה|טענות]] הנובעות זו מזו בעזרת כללי היסק, תוך שימוש ב[[הגדרה|הגדרות]], ב[[אקסיומה|אקסיומות]], ובידע קודם שהוכח קודם לכן,
[[הפרכה]] של טענה מהווה גם היא הוכחה - הוכחה שטענה זו אינה נכונה (כלומר ששלילתה של הטענה היא נכונה). טענה שטרם זכתה להוכחה קרויה [[השערה (מתמטיקה)|השערה]], וטענה שזכתה להוכחה קרויה [[משפט (מתמטיקה)|משפט]] או תאורמה.
| |||