היסק
English: Inference

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