שינויים
/* תרגיל 17 */
[[מדיה: exe1Logic2011.pdf| תרגיל בית 1]]
[[מדיה: sol1Logic2011.pdf| פתרון 1]]
==תרגיל 2==
[[מדיה: exe2Logic2011.pdf| תרגיל בית 2]]
[[מדיה: sol2Logic2011.pdf| פתרון 2]]
==תרגיל 3==
[[מדיה: exe4Logic2011.pdf| תרגיל בית 4]]
[[מדיה: sol4Logic2011.pdf| פתרון 4]]
==תרגיל 5==
פתרו את כל התרגילים '''הזוגיים''' בעמודים:
254-256, 262
'''הערה'''
שימו לב שהסימון של הפרסה בספר של קופי (כלומר:<math>\subset</math> ) מוחלף בקורס שלנו בסימון של חץ (<math>\rightarrow</math>). אז אנא השתמשו בסימון הנכון...
[[מדיה: exe5Logic2011.pdf| תרגיל בית 5]]
[[מדיה: sol5Logic2011.pdf|פתרון 5]]
==תרגיל 6==
עמודים 272 - 274
ספרה רומית 1: תרגילים זוגיים עד 16 (לא כולל), תרגיל 16 - רשות
ספרה רומית 2: כל האי-זוגיים
[[מדיה: exe6Logic2011.pdf| תרגיל בית 6]]
[[מדיה: sol6Logic2011.pdf|פתרון 6]]
==תרגיל 7==
עמודים 286 - 290
כל התרגילים הזוגיים (גם ספרה רומית 1, וגם ספרה רומית 2)
[[מדיה: exe7Logic2011.pdf| תרגיל בית 7]]
[[מדיה: sol7Logic2011.pdf| פתרון 7]]
'''הערה'''
אני מצרפת את רשימת האי-מיילים כפי שהיא מופיעה אצלי. אם מישהו לא מופיע שם (או מופיע בצורה שגויה), נא לעדכן אותי בהקדם.
[[מדיה: Logic2011.pdf | דף קשר]]
==תרגיל 8==
עמוד 279, ספרה רומית 2, הוכיחו שקילויות מספר 2 ו-7
עמודים 295 - 300 : כל התרגילים הזוגיים
[[מדיה: exe8Logic2011.pdf| תרגיל בית 8]]
[[מדיה: sol8Logic2011.pdf| פתרון 8]]
==תרגיל 9==
עמוד 302 : תרגילים אי זוגיים
עמודים 306-309: תרגילים זוגיים
'''הערה''': בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה.
[[מדיה: exe9Logic2011.pdf| תרגיל בית 9]]
'''הערה''':
בעמוד 302, תרגיל 5, המסקנה היא <math>S \equiv V</math>
[[מדיה: sol9Logic2011.pdf| פתרון 9]]
==תרגיל 10==
עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם):
תרגילים: 7,11,13,15
עמודים 321-322:
תרגילים: 1,2,4,8
[[מדיה: exe10Logic2011.pdf| תרגיל בית 10]]
[[מדיה: sol10Logic2011.pdf| פתרון 10]]
==תרגיל 11==
עמודים 321 - 323
::ספרה רומית 1: כל התרגילים
::ספרה רומית 2: כל התרגילים הזוגיים
[[מדיה: exe11Logic2011.pdf| תרגיל בית 11]]
[[מדיה: sol11Logic2011.pdf| פתרון 11]]
==תרגיל 12==
עמוד 330 - כל התרגילים
[[מדיה: exe12Logic2011.pdf| תרגיל בית 12]]
[[מדיה: sol12Logic2011.pdf| פתרון 12]]
==תרגיל 13 (אי תקפות)==
(להגשה בתרגול הראשון של סמסטר ב')
עמודים 334 - 335 - כל התרגילים הזוגיים
[[מדיה: exe13Logic2011.pdf| תרגיל בית 13]]
[[מדיה: sol13Logic2011.pdf| פתרון 13]]
==תרגיל 14 (C.P)==
תאריך הגשה: 27.03.2012 (בלי איחורים!)
[[מדיה: 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]]