15101 ,‫מבוא לתורת ההיגיון‬

5 ‫תרגיל‬

:‫) הראו בטבלת אמת ש‬1

⊨ P → (P → (Q → P))

P Q Q→P P → (Q → P) P → (P → (Q → P))
T T T T T
T F T T T
F T F T T
F F T T T

:)2( ‫) הנה הצרנה של הטיעון בשאלה (א) בתרגיל‬2

1. (Q & ¬P) → )¬R v S)
2. Q
3. R & ¬S
4. P
:‫ במובן הזה ש‬,‫הראו בטבלת אמת שהטיעון תקף לוגי‬
(Q & ¬P) → )¬R v S), Q, R & ¬S ⊨ P

Q P S R ¬R ¬P ¬S R & ¬S ¬R v S Q & ¬P (Q & ¬P) → )¬R

v S)
T T T T F F F F T F T
T T T F T F F F T F T
T T F T F F T T F F T
T T F F T F T F T F T
T F T T F T F F T T T
T F T F T T F F T T T
T F F T F T T T F T F
T F F F T T T F T T T
F T T T F F F F T F T
F T T F T F F F T F T
F T F T F F T T F F T
F T F F T F T F T F T
F F T T F T F F T F T
F F T F T T F F T F T
F F F T F T T T F F T
F F F F T T T F T F T

:‫ או קונטינגנציה‬,‫ סתירה עצמית‬,‫) ציינו אם היא טאוטולוגיה‬2(-‫) הציגו טבלת אמת ו‬1( ,‫) עבור הנב"כ הבאה‬3
‘(P → Q) v (Q → P)’
 ‫‪P‬‬ ‫‪Q‬‬ ‫‪P→Q‬‬ ‫‪Q→P‬‬ ‫)‪(P → Q) v (Q → P‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬

‫הנב"כ היא טאוטולוגיה‬

‫‪ )4‬מצאו הצבה לתוך ’)‪ ‘(P → (P → ¬P‬שהיא סתירה עצמית‬

‫)))‪((Qv¬Q) → ((Qv¬Q) → ¬(Qv¬Q‬‬

‫‪ )5‬הוכיחו (במלים) שלגבי כל ‪ ‬וכל ‪:‬‬

‫‪ α ⊨ β‬אם ורק אם ⌝ ‪⊨ ⌜ α → β‬‬
‫‪ )1‬נתחיל עם הוכחה מימין לשמאל‪ :‬אם ‪ α ⊨ β‬אז ⌝ ‪⊨ ⌜ α → β‬‬
‫‪ β – α ⊨ β )i‬נובעת מ‪. α-‬‬
‫‪ )ii‬כלומר‪ ,‬אין מצב בו ‪ α‬אמיתית ו‪ β-‬שקרית‪.‬‬
‫‪ )iii‬כדי לבדוק האם ⌝ ‪ ⌜ α → β‬הוא טאוטולוגיה‪ ,‬עלינו לבדוק האם יש מצב בו היא שקרית‪ .‬משפט‬
‫תנאי הוא שקרי רק כאשר הרישא היא אמיתית והסיפא שקרית‪.‬‬
‫‪ )iv‬לפי )‪ (ii‬אין מצב כזה‪.‬‬
‫‪ )v‬לכן‪ ,‬אין מצב בו ⌝ ‪ ⌜ α → β‬שקרית‪ .‬אם אין מצב בו נב"כ היא שקרית‪ ,‬הנב"כ היא טאוטולוגיה‪.‬‬
‫‪ )2‬נמשיך עם הוכחה משמאל לימין‪ :‬אם ⌝ ‪ ⊨ ⌜ α → β‬אז ‪α ⊨ β‬‬
‫‪ - ⊨ ⌜ α → β ⌝ )i‬הנב"כ היא טאוטולוגיה‪ ,‬כלומר היא תמיד אמיתית‪ .‬משפט תנאי הוא תמיד אמיתי‬
‫אם אין מצב בו הרישא אמיתית והסיפא שקרית‪ .‬כלומר‪ ,‬אין מצב בו ‪ α‬אמיתית ו‪ β-‬שקרית‪.‬‬
‫‪ )ii‬כדי לבדוק האם ‪ β‬נובעת מ‪ , α-‬עלינו לבדוק האם יש מצב בו ‪ α‬אמיתית ו‪ β-‬שקרית‪ .‬אם יש מצב‬
‫כזה‪ ,‬אז אין יחס של נביעה‪ .‬אם אין מצב כזה‪ ,‬אז מתקיים יחס הנביעה‪.‬‬
‫‪ )iii‬לפי )‪ (i‬אין מצב בו ‪ α‬אמיתית ו‪ β-‬שקרית‪.‬‬
‫‪ )iv‬לכן‪ β ,‬נובעת מ‪. α-‬‬