חזרה למבחן — כיתה ז׳ (בינוני)

פתרונות

1. חלק מהאנשים בחדר הן נשים — אם חלק מהרופאים הם נשים, וכולם בחדר הם רופאים — אז חלק מהאנשים בחדר הן נשים.
2. אף A אינו C — אם כל A הם B, ואף B אינו C — אז אף A אינו C (כי A מוכלים ב-B, וB נפרדים מ-C).
3. רון — אם אנו ביום שישי, אז רון שאמר שישי הוא הצודק. דן ויוסי טועים.
4. שקרי — NOT P = שקרי (כי P = אמיתי). שקרי OR שקרי = שקרי.
5. אמיתי — P AND Q = שקרי (שניהם שקריים). NOT שקרי = אמיתי.
6. 5 — אוהבים לפחות אחד: 20 + 15 − 5 = 30. לא אוהבים אף אחד: 35 − 30 = 5.
7. כן, ארז דובר אמת — יוסי לא אמר שהוא שקרן — יוסי תמיד משקר. שקרן לא יאמר 'אני שקרן' (כי זה יהיה אמת). לכן יוסי לא אמר שהוא שקרן — וארז, שאומר אמת, מדווח נכון.
8. הכיסא אינו אדום — אדם אומר אמת — הכיסא אדום. בית תמיד משקר, ולכן אמר ההפך: הכיסא אינו אדום.
9. אלון, ברק, גל — אלון לפני ברק: א < ב. גל אחרי ברק: ב < ג. הסדר: אלון, ברק, גל.
10. A, B, C, D — B מימין ל־A: ...A, B... ; C שמאל ל־D: ...C, D... . הסדר הנובע: A, B, C, D.
11. אמיתי — P AND Q = אמיתי (שניהם אמיתיים). אמיתי OR שקרי = אמיתי.
12. אמיתי — Q AND R = אמיתי. שקרי OR אמיתי = אמיתי.
13. ד, ה, ז, ו — ד < ה (ד לפני ה), ה < ז (ה לפני ז), ז < ו (ו אחרי ז). הסדר: ד, ה, ז, ו.
14. A, B, E, C, D — A > B (A מעל B). D > C (C מתחת ל־D). E בין B ל־C: B > E > C. סדר כולל מלמעלה: A, B, E, C, D.
15. קיימת ציפור שאינה יודעת לעוף — שלילת 'לכל x, P(x)' היא 'קיים x כך ש־NOT P(x)'. כלומר, קיימת ציפור שאינה יודעת לעוף (כמו פינגווין).
16. כל המספרים השליליים — ריבועם אינו שלילי — שלילת 'קיים x כך ש־P(x)' היא 'לכל x, NOT P(x)'. לכל מספר שלילי, ריבועו חיובי (לא שלילי).
17. P → R אמיתי — זהו חוק הסילוגיזם ההיפותטי: אם P → Q ו־Q → R, אז P → R. (transitive property of implication)
18. לא שמש — זהו Modus Tollens: אם P → Q ו־NOT Q, אז NOT P. 'לא חם' → 'לא שמש'.
19. כן, X שקרן — אם X דובר אמת — הם שניהם שקרנים, וזה סותר. לכן X משקר. כיוון ש־X שקרן, המשפט 'שניהם שקרנים' שקרי, כלומר לפחות אחד לא שקרן (Y).
20. שקרי — P OR Q = אמיתי (P אמיתי). NOT אמיתי = שקרי.