הבדלים בין גרסאות בדף "הנחה (לוגיקה)"

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