31-105 לוגיקה לפילוסופיה/סמסטר א תשעב/תרגילים

תרגיל 1

פתרו את כל התרגילים האי-זוגיים בעמודים המצורפים.

תרגיל בית 1

   פתרון 1

תרגיל 2

פתרו את כל התרגילים בעמודים המצורפים.

תרגיל בית 2

   פתרון 2

תרגיל 3

תרגיל בית 3

תרגיל 4

פתרו את כל התרגילים בעמודים 167 - 168

תרגיל בית 4

   פתרון 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: תרגילים זוגיים

הערה: בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה.

תרגיל בית 9

הערה:

בעמוד 302, תרגיל 5, המסקנה היא [math]\displaystyle{ S \equiv V }[/math]