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

גרסה אחרונה מ־12:28, 24 במאי 2012

תרגיל 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

 פתרון 5

תרגיל 6

עמודים 272 - 274

ספרה רומית 1: תרגילים זוגיים עד 16 (לא כולל), תרגיל 16 - רשות

ספרה רומית 2: כל האי-זוגיים

תרגיל בית 6

 פתרון 6

תרגיל 7

עמודים 286 - 290

כל התרגילים הזוגיים (גם ספרה רומית 1, וגם ספרה רומית 2)

תרגיל בית 7

  פתרון 7

הערה

אני מצרפת את רשימת האי-מיילים כפי שהיא מופיעה אצלי. אם מישהו לא מופיע שם (או מופיע בצורה שגויה), נא לעדכן אותי בהקדם.

דף קשר

תרגיל 8

עמוד 279, ספרה רומית 2, הוכיחו שקילויות מספר 2 ו-7

עמודים 295 - 300 : כל התרגילים הזוגיים

תרגיל בית 8

  פתרון 8

תרגיל 9

עמוד 302 : תרגילים אי זוגיים

עמודים 306-309: תרגילים זוגיים

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

תרגיל בית 9

הערה:

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

  פתרון 9

תרגיל 10

עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם):

תרגילים: 7,11,13,15

עמודים 321-322:

תרגילים: 1,2,4,8

תרגיל בית 10

  פתרון 10

תרגיל 11

עמודים 321 - 323

ספרה רומית 1: כל התרגילים

ספרה רומית 2: כל התרגילים הזוגיים

תרגיל בית 11

  פתרון 11

תרגיל 12

עמוד 330 - כל התרגילים

תרגיל בית 12

  פתרון 12

תרגיל 13 (אי תקפות)

(להגשה בתרגול הראשון של סמסטר ב')

עמודים 334 - 335 - כל התרגילים הזוגיים

תרגיל בית 13

  פתרון 13

תרגיל 14 (C.P)

תאריך הגשה: 27.03.2012 (בלי איחורים!)

תרגיל בית 14

  פתרון 14

תרגיל 15

הצרנה בשני כמתים

קראו את החומר התיאורטי בעמודים 88-96 ואז פתרו את כל התרגילים בעמודים 95-96

שקילויות

קראו עמודים 110 -119. בעמודים אלה תמצאו הרבה שקילויות מוכחות (יש שם גם את הפתרונות של השקילויות שיובל ביקש מכם להוכיח). לאחר מכן פתרו תרגילים 1,4,8 בעמוד 119.

תרגיל בית 15

  פתרון 15

תרגיל 16

פרדיקטים דו - מקומיים

תרגיל בית 16

חומר קריאה רלוונטי

  פתרון 16

תרגיל 17

הוכחת טיעונים בשני כמתים

פתרו את 4 התרגילים הראשונים מעמוד 140. (את 5 עשינו בכיתה, אז תוכלו להיעזר בו קצת כדוגמא)

תרגיל בית 17

  פתרון 17

תרגיל 18

תכונות של יחסים והנחות סמויות

עמודים 140 -141:

הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.

עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):

התרגילים האי-זוגיים

בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.

תרגיל בית 18

@@ שורה 106: / שורה 106: @@
 [[מדיה: exe10Logic2011.pdf| תרגיל בית 10]]
+  [[מדיה: sol10Logic2011.pdf| פתרון 10]]
 ==תרגיל 11==
@@ שורה 116: / שורה 119: @@
 [[מדיה: exe11Logic2011.pdf| תרגיל בית 11]]
+  [[מדיה: sol11Logic2011.pdf| פתרון 11]]
 ==תרגיל 12==
@@ שורה 124: / שורה 128: @@
 [[מדיה: 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]]