[[מדיה: exe17Logic2011.pdf| תרגיל בית 17]]
==תרגיל 18==
'''תכונות של יחסים והנחות סמויות'''
עמודים 140 -141:
הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.
עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.
[[מדיה: exe18Logic2011.pdf| תרגיל בית 18]]