מבוא למתמטיקה אוניברסיטאית/הוכחה בשלילה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ניווט |
|||
שורה 9:
כיוון שכך המסקנה המתבקשת היא שיש מקום ברצף הטיעונים שלנו שהוא שגוי. אבל המקום היחידי שיכול להיות שגוי הוא במקום בו קבענו כי "הטענה" אינה נכונה, כלומר "הטענה" היא לא-לא-נכונה, או בפשטות, כן נכונה.
===
אחד השימושים הראשונים המתועדים לשימוש בהוכחה בשלילה נעשה ע"י המתמטיקאי היווני אוקלידס בהוכחתו כי קיימים אינסוף מספרים ראשוניים.<br />
| |||