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

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