שאלה 1
נתונים שני כללים: (1) "אם דור, אז יוסי". (2) "אם יוסי, אז מאיה". מה נובע משילוב שני הכללים הללו?
- אדור ומאיה סותרים זה את זה
- באין קשר בין דור למאיה
- גאם מאיה מתקיים, אז בהכרח גם דור מתקיים
- דאם דור מתקיים, אז בהכרח גם מאיה מתקיים
הפתרון
זהו שרשור לוגי (טרנזיטיביות): מכלל 1, דור גורר יוסי. מכלל 2, יוסי גורר מאיה. לכן דור גורר מאיה - אם דור מתקיים, אז בהכרח גם מאיה מתקיים.