[[מדיה: exe13Logic2011.pdf| תרגיל בית 13]]
[[מדיה: sol13Logic2011.pdf| פתרון 13]]
==תרגיל 14 (C.P)==
[[מדיה: exe14Logic2011.pdf| תרגיל בית 14]]
[[מדיה: sol14Logic2011.pdf| פתרון 14]]
==תרגיל 15==
'''הצרנה בשני כמתים'''
קראו את החומר התיאורטי בעמודים 88-96 ואז פתרו את כל התרגילים בעמודים 95-96
'''שקילויות'''
קראו עמודים 110 -119. בעמודים אלה תמצאו הרבה שקילויות מוכחות (יש שם גם את הפתרונות של השקילויות שיובל ביקש מכם להוכיח). לאחר מכן פתרו תרגילים 1,4,8 בעמוד 119.
[[מדיה: exe15Logic2011.pdf| תרגיל בית 15]]
[[מדיה: sol15Logic2011.pdf| פתרון 15]]
==תרגיל 16==
'''פרדיקטים דו - מקומיים'''
[[מדיה: exe16Logic2011.pdf| תרגיל בית 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]]