הבדלים בין גרסאות בדף "31-105 לוגיקה לפילוסופיה/סמסטר א תשעב/תרגילים"
(←תרגיל 7) |
(←תרגיל 17) |
||
(26 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 37: | שורה 37: | ||
[[מדיה: exe5Logic2011.pdf| תרגיל בית 5]] | [[מדיה: exe5Logic2011.pdf| תרגיל בית 5]] | ||
+ | |||
+ | [[מדיה: sol5Logic2011.pdf|פתרון 5]] | ||
==תרגיל 6== | ==תרגיל 6== | ||
שורה 47: | שורה 49: | ||
[[מדיה: exe6Logic2011.pdf| תרגיל בית 6]] | [[מדיה: exe6Logic2011.pdf| תרגיל בית 6]] | ||
− | + | ||
− | + | [[מדיה: sol6Logic2011.pdf|פתרון 6]] | |
==תרגיל 7== | ==תרגיל 7== | ||
שורה 58: | שורה 60: | ||
+ | [[מדיה: sol7Logic2011.pdf| פתרון 7]] | ||
'''הערה''' | '''הערה''' | ||
שורה 64: | שורה 67: | ||
[[מדיה: Logic2011.pdf | דף קשר]] | [[מדיה: Logic2011.pdf | דף קשר]] | ||
+ | |||
+ | ==תרגיל 8== | ||
+ | עמוד 279, ספרה רומית 2, הוכיחו שקילויות מספר 2 ו-7 | ||
+ | |||
+ | עמודים 295 - 300 : כל התרגילים הזוגיים | ||
+ | |||
+ | [[מדיה: exe8Logic2011.pdf| תרגיל בית 8]] | ||
+ | |||
+ | |||
+ | [[מדיה: sol8Logic2011.pdf| פתרון 8]] | ||
+ | |||
+ | ==תרגיל 9== | ||
+ | עמוד 302 : תרגילים אי זוגיים | ||
+ | |||
+ | עמודים 306-309: תרגילים זוגיים | ||
+ | |||
+ | '''הערה''': בתרגילים האחרונים, שימו לב שאם הטיעון תקף, עליכם גם לציין אם הוא עקבי או לא עקבי; כלומר האם יש בו שורה שהיא סתירה. | ||
+ | |||
+ | [[מדיה: exe9Logic2011.pdf| תרגיל בית 9]] | ||
+ | |||
+ | |||
+ | '''הערה''': | ||
+ | |||
+ | בעמוד 302, תרגיל 5, המסקנה היא <math>S \equiv V</math> | ||
+ | |||
+ | [[מדיה: sol9Logic2011.pdf| פתרון 9]] | ||
+ | |||
+ | ==תרגיל 10== | ||
+ | |||
+ | עמודים 306-309 (יש לכם את העמודים האלה בתרגיל הקודם): | ||
+ | |||
+ | תרגילים: 7,11,13,15 | ||
+ | |||
+ | |||
+ | עמודים 321-322: | ||
+ | |||
+ | תרגילים: 1,2,4,8 | ||
+ | |||
+ | [[מדיה: exe10Logic2011.pdf| תרגיל בית 10]] | ||
+ | |||
+ | |||
+ | [[מדיה: sol10Logic2011.pdf| פתרון 10]] | ||
+ | |||
+ | ==תרגיל 11== | ||
+ | |||
+ | עמודים 321 - 323 | ||
+ | |||
+ | ::ספרה רומית 1: כל התרגילים | ||
+ | ::ספרה רומית 2: כל התרגילים הזוגיים | ||
+ | |||
+ | [[מדיה: 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
הערה
שימו לב שהסימון של הפרסה בספר של קופי (כלומר: ) מוחלף בקורס שלנו בסימון של חץ (). אז אנא השתמשו בסימון הנכון...
פתרון 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, המסקנה היא
פתרון 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 בספר):
התרגילים האי-זוגיים
בתרגילים האלה חסרות הנחות (ובלעדיהן לא ניתן להוכיח את הטיעון). יש לזהות את היחס הנתון ולהוסיף בהנחות את התכונות של היחס.