31-105 לוגיקה לפילוסופיה/סמסטר א תשעב/תרגילים
תרגיל 1
פתרו את כל התרגילים האי-זוגיים בעמודים המצורפים.
פתרון 1
תרגיל 2
פתרו את כל התרגילים בעמודים המצורפים.
פתרון 2
תרגיל 3
תרגיל 4
פתרו את כל התרגילים בעמודים 167 - 168
פתרון 4
תרגיל 5
פתרו את כל התרגילים הזוגיים בעמודים:
254-256, 262
הערה
שימו לב שהסימון של הפרסה בספר של קופי (כלומר:[math]\displaystyle{ \subset }[/math] ) מוחלף בקורס שלנו בסימון של חץ ([math]\displaystyle{ \rightarrow }[/math]). אז אנא השתמשו בסימון הנכון...
פתרון 5
תרגיל 6
עמודים 272 - 274
ספרה רומית 1: תרגילים זוגיים עד 16 (לא כולל), תרגיל 16 - רשות
ספרה רומית 2: כל האי-זוגיים
פתרון 6
תרגיל 7
עמודים 286 - 290
כל התרגילים הזוגיים (גם ספרה רומית 1, וגם ספרה רומית 2)
פתרון 7
הערה
אני מצרפת את רשימת האי-מיילים כפי שהיא מופיעה אצלי. אם מישהו לא מופיע שם (או מופיע בצורה שגויה), נא לעדכן אותי בהקדם.
תרגיל 8
עמוד 279, ספרה רומית 2, הוכיחו שקילויות מספר 2 ו-7
עמודים 295 - 300 : כל התרגילים הזוגיים
פתרון 8
תרגיל 9
עמוד 302 : תרגילים אי זוגיים
עמודים 306-309: תרגילים זוגיים
הערה: בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה.
הערה:
בעמוד 302, תרגיל 5, המסקנה היא [math]\displaystyle{ S \equiv V }[/math]
פתרון 9
תרגיל 10
עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם):
תרגילים: 7,11,13,15
עמודים 321-322:
תרגילים: 1,2,4,8
פתרון 10
תרגיל 11
עמודים 321 - 323
- ספרה רומית 1: כל התרגילים
- ספרה רומית 2: כל התרגילים הזוגיים
פתרון 11
תרגיל 12
עמוד 330 - כל התרגילים
פתרון 12
תרגיל 13 (אי תקפות)
(להגשה בתרגול הראשון של סמסטר ב')
עמודים 334 - 335 - כל התרגילים הזוגיים
פתרון 13
תרגיל 14 (C.P)
תאריך הגשה: 27.03.2012 (בלי איחורים!)
פתרון 14
תרגיל 15
הצרנה בשני כמתים
קראו את החומר התיאורטי בעמודים 88-96 ואז פתרו את כל התרגילים בעמודים 95-96
שקילויות
קראו עמודים 110 -119. בעמודים אלה תמצאו הרבה שקילויות מוכחות (יש שם גם את הפתרונות של השקילויות שיובל ביקש מכם להוכיח). לאחר מכן פתרו תרגילים 1,4,8 בעמוד 119.
תרגיל 16
פרדיקטים דו - מקומיים
תרגיל 17
הוכחת טיעונים בשני כמתים