היסק – הבדלי גרסאות

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