שינויים
/* תרגיל 17 */
[[מדיה: exe14Logic2011.pdf| תרגיל בית 14]]
[[מדיה: sol14Logic2011.pdf| פתרון 14]]
==תרגיל 15==
[[מדיה: exe15Logic2011.pdf| תרגיל בית 15]]
[[מדיה: sol15Logic2011.pdf| פתרון 15]]
==תרגיל 16==
[[מדיה: readingForExe16.pdf| חומר קריאה רלוונטי]]
[[מדיה: sol16Logic2011.pdf| פתרון 16]]
==תרגיל 17==
'''הוכחת טיעונים בשני כמתים'''
פתרו את 4 התרגילים הראשונים מעמוד 140. (את 5 עשינו בכיתה, אז תוכלו להיעזר בו קצת כדוגמא)
[[מדיה: exe17Logic2011.pdf| תרגיל בית 17]]
[[מדיה: sol17Logic2011.pdf| פתרון 17]]
==תרגיל 18==
'''תכונות של יחסים והנחות סמויות'''
עמודים 140 -141:
הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.
עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.
[[מדיה: exe18Logic2011.pdf| תרגיל בית 18]]