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

#כל העכברים הם בני תמותה

לכן: כל בני התמותה הם מכרסמים.

 

לדוגמה הנגדית הזו יש צורה לוגית זהה במבנה להיסק הקודם, שגם בו ההנחות אמיתיות והמסקנה שקרית. הצורה היא:

#כל א הוא ג

לכן: כל ג הוא ב

 

==היסקים בלוגיקה מודרנית==