31-105 לוגיקה לפילוסופיה/סמסטר א תשעב/תרגילים: הבדלים בין גרסאות בדף
| (19 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
| שורה 60: | שורה 60: | ||
[[מדיה: sol7Logic2011.pdf| פתרון 7]] | |||
'''הערה''' | '''הערה''' | ||
| שורה 74: | שורה 75: | ||
[[מדיה: exe8Logic2011.pdf| תרגיל בית 8]] | [[מדיה: exe8Logic2011.pdf| תרגיל בית 8]] | ||
[[מדיה: sol8Logic2011.pdf| פתרון 8]] | |||
==תרגיל 9== | ==תרגיל 9== | ||
| שורה 89: | שורה 92: | ||
בעמוד 302, תרגיל 5, המסקנה היא <math>S \equiv V</math> | בעמוד 302, תרגיל 5, המסקנה היא <math>S \equiv V</math> | ||
[[מדיה: sol9Logic2011.pdf| פתרון 9]] | |||
==תרגיל 10== | ==תרגיל 10== | ||
| שורה 102: | שורה 106: | ||
[[מדיה: exe10Logic2011.pdf| תרגיל בית 10]] | [[מדיה: exe10Logic2011.pdf| תרגיל בית 10]] | ||
[[מדיה: sol10Logic2011.pdf| פתרון 10]] | |||
==תרגיל 11== | ==תרגיל 11== | ||
| שורה 107: | שורה 114: | ||
עמודים 321 - 323 | עמודים 321 - 323 | ||
::ספרה רומית | ::ספרה רומית 1: כל התרגילים | ||
::ספרה רומית 2: כל התרגילים הזוגיים | ::ספרה רומית 2: כל התרגילים הזוגיים | ||
[[מדיה: exe11Logic2011.pdf| תרגיל בית 11]] | [[מדיה: 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]] | |||
גרסה אחרונה מ־12:28, 24 במאי 2012
תרגיל 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.
פתרון 15
תרגיל 16
פרדיקטים דו - מקומיים
פתרון 16
תרגיל 17
הוכחת טיעונים בשני כמתים
פתרו את 4 התרגילים הראשונים מעמוד 140. (את 5 עשינו בכיתה, אז תוכלו להיעזר בו קצת כדוגמא)
פתרון 17
תרגיל 18
תכונות של יחסים והנחות סמויות
עמודים 140 -141:
הצרינו את הטיעונים 5 – 10. אין חובה להוכיח אותם, עם זאת – אתם יותר ממוזמנים לפחות לנסות.
עמודים 147-148 (לפני כן קראו עמודים 141-147 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.