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