כלל היסק

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