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

‫תרגיל ‪11‬‬

‫‪ .1‬הצרינו את הטיעון הבא כך שההצרנה תקפה לוגית (אל תשכחו את המילון)‪ ,‬ואז הוכיחו את תקפותה‬
‫(באמצעות ‪ ,EE ,EI ,UE ,UI‬והכללים של תחשיב הפסוקים)‪:‬‬

‫יש כלבים שאוהבים את דוד‪.‬‬

‫כל ילד אוהב כל כלב‪.‬‬
‫דוד הוא ילד‪.‬‬
‫לכן‪ ,‬קיים משהו שגם אוהב את דוד וגם אהוב על ידי דוד‪.‬‬
‫דומיין‪U :‬‬
‫מילון‪:‬‬
‫‪ x - Px‬הוא כלב‬
‫‪ x - Cx‬הוא ילד‬
‫‪ x - Lxy‬אוהב את ‪y‬‬
‫‪ - m‬דוד‬
‫‪1.‬‬ ‫) 𝑚𝑥𝐿&𝑥𝐷(𝑥∃‬
‫‪2.‬‬ ‫))𝑦𝑥𝐿 → 𝑦𝐷(𝑦∀ → 𝑥𝐶(𝑥∀‬
‫‪3.‬‬ ‫𝑚𝐶‬
‫‪4.‬‬ ‫)𝑥𝑚𝐿&𝑚𝑥𝐿(𝑥∃‬

‫‪1‬‬ ‫)‪(1‬‬ ‫) 𝑚𝑥𝐿&𝑥𝐷(𝑥∃‬ ‫‪A‬‬

‫‪2‬‬ ‫)‪(2‬‬ ‫))𝑦𝑥𝐿 → 𝑦𝐷(𝑦∀ → 𝑥𝐶(𝑥∀‬ ‫‪A‬‬
‫‪3‬‬ ‫)‪(3‬‬ ‫𝑚𝐶‬ ‫‪A‬‬
‫‪2‬‬ ‫)‪(4‬‬ ‫)𝑦𝑚𝐿 → 𝑦𝐷(𝑦∀ → 𝑚𝐶‬ ‫‪UE 2‬‬
‫‪2,3‬‬ ‫)‪(5‬‬ ‫)𝑦𝑚𝐿 → 𝑦𝐷( 𝑦∀‬ ‫‪MPP 3,4‬‬
‫‪2,3‬‬ ‫)‪(6‬‬ ‫𝑏𝑚𝐿 → 𝑏𝐷‬ ‫‪UE 5‬‬
‫‪7‬‬ ‫)‪(7‬‬ ‫𝑚𝑏𝐿&𝑏𝐷‬ ‫‪A‬‬
‫‪7‬‬ ‫)‪(8‬‬ ‫𝑏𝐷‬ ‫‪&E 7‬‬
‫‪2,3,7‬‬ ‫)‪(9‬‬ ‫𝑏𝑚𝐿‬ ‫‪MPP 6,8‬‬
‫‪7‬‬ ‫)‪(10‬‬ ‫𝑚𝑏𝐿‬ ‫‪&E 7‬‬
‫‪2,3,7‬‬ ‫)‪(11‬‬ ‫𝑏𝑚𝐿&𝑚𝑏𝐿‬ ‫‪&I 11‬‬
‫‪2,3,7‬‬ ‫)‪(12‬‬ ‫)𝑥𝑚𝐿&𝑚𝑥𝐿(𝑥∃‬ ‫‪EI 11‬‬
‫‪1,2,3‬‬ ‫)‪(13‬‬ ‫)𝑥𝑚𝐿&𝑚𝑥𝐿(𝑥∃‬ ‫‪EE 1,7,12‬‬

‫‪ .2‬הצרינו את הטיעון הבא כך שההצרנה תקפה לוגית (אל תשכחו את המילון)‪ ,‬ואז הוכיחו את תקפותה‬
‫(באמצעות ‪ ,EE ,EI ,UE ,UI‬והכללים של תחשיב הפסוקים)‪:‬‬

‫יש מישהו ששונא כל הפוליטיקאים‪.‬‬

‫יש פוליטיקאי ששונא כל מי ששונא אותו‪.‬‬
‫לכן‪ ,‬יש מישהו ששונא מישהו ששונא אותו‪.‬‬
‫דומיין‪U :‬‬
 ‫מילון‪:‬‬
‫‪ x - Px‬הוא פוליטיקאי‬
‫‪ x - Hxy‬שונא את ‪y‬‬
‫)𝑦𝑥𝐻 → 𝑦𝑃( 𝑦∀𝑥∃ ‪a.‬‬
‫))𝑦𝑥𝐻 → 𝑥𝑦𝐻(𝑦∀&𝑥𝑃(𝑥∃ ‪b.‬‬
‫)𝑥𝑦𝐻&𝑦𝑥𝐻(𝑦∃𝑥∃ ‪c.‬‬
‫‪1‬‬ ‫)‪(1‬‬ ‫)𝑦𝑥𝐻 → 𝑦𝑃( 𝑦∀𝑥∃‬ ‫‪A‬‬
‫‪2‬‬ ‫)‪(2‬‬ ‫))𝑦𝑥𝐻 → 𝑥𝑦𝐻(𝑦∀&𝑥𝑃(𝑥∃‬ ‫‪A‬‬
‫‪3‬‬ ‫)‪(3‬‬ ‫)𝑦𝑎𝐻 → 𝑦𝑃( 𝑦∀‬ ‫‪A‬‬
‫‪3‬‬ ‫)‪(4‬‬ ‫𝑏𝑎𝐻 → 𝑏𝑃‬ ‫‪UE 3‬‬
‫‪5‬‬ ‫)‪(5‬‬ ‫)𝑦𝑏𝐻 → 𝑏𝑦𝐻( 𝑦∀&𝑏𝑃‬ ‫‪A‬‬
‫‪5‬‬ ‫)‪(6‬‬ ‫𝑏𝑃‬ ‫‪&E 5‬‬
‫‪5‬‬ ‫)‪(7‬‬ ‫)𝑦𝑏𝐻 → 𝑏𝑦𝐻( 𝑦∀‬ ‫‪&E 5‬‬
‫‪5‬‬ ‫)‪(8‬‬ ‫𝑎𝑏𝐻 → 𝑏𝑎𝐻‬ ‫‪UE 7‬‬
‫‪3,5‬‬ ‫)‪(9‬‬ ‫𝑏𝑎𝐻‬ ‫‪MPP 4,6‬‬
‫‪3,5‬‬ ‫)‪(10‬‬ ‫𝑎𝑏𝐻‬ ‫‪MPP 8,9‬‬
‫‪3,5‬‬ ‫)‪(11‬‬ ‫𝑎𝑏𝐻&𝑏𝑎𝐻‬ ‫‪&I 9,10‬‬
‫‪3,5‬‬ ‫)‪(12‬‬ ‫)𝑎𝑦𝐻&𝑦𝑎𝐻(𝑦∃‬ ‫‪EI 11‬‬
‫‪3,5‬‬ ‫)‪(13‬‬ ‫)𝑥𝑦𝐻&𝑦𝑥𝐻(𝑦∃𝑥∃‬ ‫‪EI 12‬‬
‫‪1,5‬‬ ‫)‪(14‬‬ ‫)𝑥𝑦𝐻&𝑦𝑥𝐻(𝑦∃𝑥∃‬ ‫‪EE 1,3,13‬‬
‫‪1,2‬‬ ‫)‪(15‬‬ ‫)𝑥𝑦𝐻&𝑦𝑥𝐻(𝑦∃𝑥∃‬ ‫‪EE 2,5,14‬‬

‫‪ .3‬הוכיחו את התיאורמה הבאה (באמצעות ‪ ,EE ,EI ,UE ,UI‬והכללים של תחשיב הפסוקים)‪:‬‬

‫)‪⊢ ∀y(Fy → ∃xFx‬‬

‫‪1‬‬ ‫)‪(1‬‬ ‫𝑎𝐹‬ ‫‪A‬‬

‫‪1‬‬ ‫)‪(2‬‬ ‫𝑥𝐹𝑥∃‬ ‫‪EI 1‬‬
‫)‪(3‬‬ ‫𝑥𝐹𝑥∃ → 𝑏𝐹‬ ‫‪CP 1,2‬‬
‫)‪(4‬‬ ‫)𝑥𝐹𝑥∃ → 𝑦𝐹( 𝑦∀‬ ‫‪UI 3‬‬
:)‫ והכללים של תחשיב הפסוקים‬,EE ,EI ,UE ,UI ‫ הוכיחו את התיאורמה הבאה (באמצעות‬.4

⊢ ∃y(Fy → ∀xFx)

1 (1) ¬∃y(Fy → ∀xFx) A

2 (2) ¬Fa A
3 (3) Fa A
2,3 (4) ∀xFx SI(S) 2,3
2 (5) Fa → ∀xFx CP 3,4
2 (6) ∃y(Fy → ∀xFx) EI 5
1,2 (7) ∃y(Fy → ∀xFx) & ¬∃y(Fy → &I 1,6
∀xFx)
1 (8) ¬¬Fa RAA 2,7
1 (9) Fa DN 8
1 (10) ∀xFx UI 9
1 (11) Fa → ∀xFx SI(S) 10
1 (12) ∃y(Fy → ∀xFx) EI 11
1 (13) ∃y(Fy → ∀xFx) & ¬∃y(Fy → &I 1,12
∀xFx)
(14) ¬¬∃y(Fy → ∀xFx) RAA 1,13
(15) ∃y(Fy → ∀xFx) DN 14

:‫פיתרון נוסף‬

(1) x¬Fx¬x¬Fx TI(S-33)

2 (2) x¬Fx A
3 (3) ¬Fa A
3 (4) ¬FaxFx I 2
3 (5) Fa→xFx SI(S-24) 4
3 (6) y(Fy→xFx) EI 5
2 (7) y(Fy→xFx) EE 2,3,6
8 (8) ¬x¬Fx A
9 (9) ¬Fa A
9 (10) x¬Fx EI 9
8,9 (11) ¬x¬Fx & x¬Fx &I 9,10
8 (12) ¬¬Fa RAA 9,11
8 (13) Fa DN 12
8 (14) xFx UI 13
8 (15) Fa→xFx SI(S-14) 14
8 (16) y(Fy→xFx) EI 15
(17) y(Fy→xFx) E 1,2,7,8,16