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