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

מתוך Math-Wiki
שורה 183: שורה 183:


[[מדיה: exe17Logic2011.pdf| תרגיל בית 17]]
[[מדיה: exe17Logic2011.pdf| תרגיל בית 17]]
==תרגיל 18==
'''תכונות של יחסים והנחות סמויות'''
עמודים 140 -141:
הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.
עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.
[[מדיה: exe18Logic2011.pdf| תרגיל בית 18]]

גרסה מ־14:23, 15 במאי 2012

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


 פתרון 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

תרגיל 16

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


תרגיל בית 16


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


תרגיל 17

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

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

תרגיל בית 17


תרגיל 18

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

עמודים 140 -141:

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

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

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

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


תרגיל בית 18