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

‫תרגיל ‪10‬‬

‫‪ .1‬האם הנוסחה הבאה היא נב"כ?‬

‫)‪∃x((∀yFyx → ∃zGzx) & Hx‬‬

‫אם כן‪ ,‬בנו אותה על פי כללי היצירה‪ .‬אם לא‪ ,‬הסבירו למה‪.‬‬

‫הנוסחה היא נב"כ‪.‬‬

‫'‪ 'Hn‬היא נב"כ (כלל ‪)1‬‬ ‫‪.1‬‬
‫'‪ 'Gmn‬היא נב"כ (כלל ‪)1‬‬ ‫‪.2‬‬
‫'‪ 'Fmn‬היא נב"כ (כלל ‪)1‬‬ ‫‪.3‬‬
‫'‪ '∃zGzn‬היא נב"כ (‪ ,3‬כלל ‪)8‬‬ ‫‪.4‬‬
‫'‪ '∀yFyn‬היא נב"כ (‪ ,3‬כלל ‪)7‬‬ ‫‪.5‬‬
‫')‪ '(∀yFyn → ∃zGzn‬היא נב"כ (‪ 4,5‬כלל ‪)5‬‬ ‫‪.6‬‬
‫')‪ '((∀yFyn → ∃zGzn) & Hn‬היא נב"כ (‪ 1,6‬כלל ‪)4‬‬ ‫‪.7‬‬
‫')‪ '∃x((∀yFyx → ∃zGzx) & Hx‬היא נב"כ (‪ ,7‬כלל ‪)8‬‬ ‫‪.8‬‬

‫‪ .9‬הערנו בשיעור שכל טענה שניתן לבטא באמצעות ’∀‘ ניתן גם לבטא באמצעות ’∃‘ (ביחד עם סימן‬
‫השלילה)‪ .‬כמובן‪ ,‬אם ’∀‘ לא היה סימן בשפה שלנו‪ ,‬אז ‪ UE‬ו‪ UI-‬לא היו כללים במערכת שלנו‪ .‬אבל‬
‫האמת היא שלא היינו צריכים אותם‪ ,‬וניתן היה להסתפק ב‪ EE-‬ו‪( EI-‬ביחד עם שאר הכללים הבסיסיים‬
‫מתחשיב הפסוקים)‪ .‬הוכיחו שאכן ניתן היה לוותר על ‪ UE‬ולהסתפק ב‪ ,EI-‬כלומר שבאמצעות ‪EI‬‬
‫(והכללים הבסיסיים מתחשיב הפסוקים) ניתן להוכיח כל ‪ sequent‬מהצורה הזאת‪:‬‬
‫)‪¬∃ф¬α(ф) ⊢ α(t,ф‬‬

‫‪1‬‬ ‫‪1‬‬ ‫)‪¬∃ф¬α(ф‬‬ ‫‪A‬‬

‫‪2‬‬ ‫‪2‬‬ ‫)‪¬α(t,ф‬‬ ‫‪A‬‬
‫‪2‬‬ ‫‪3‬‬ ‫)‪∃ф¬α(ф‬‬ ‫‪EI 2‬‬
‫‪1,2‬‬ ‫‪4‬‬ ‫)‪∃ф¬α(ф)& ¬∃ф¬α(ф‬‬ ‫‪&I 1,3‬‬
‫‪1‬‬ ‫‪5‬‬ ‫)‪¬¬α(t,ф‬‬ ‫‪RAA 2,4‬‬
‫‪1‬‬ ‫‪6‬‬ ‫)‪α(t,ф‬‬ ‫‪DN 5‬‬

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

‫קיים מישהו שלא נולד במזרח התיכון‪.‬‬

‫כל מי שנולד בישראל או בירדן נולד במזרח התיכון‪.‬‬
‫לכן‪ ,‬קיים מישהו שלא נולד בישראל‪.‬‬

‫מילון‪:‬‬
‫תחום דיון‪U -‬‬
 ‫‪ x -Mx‬נולד במזרח התיכון‬
‫‪ x -Ix‬נולד בישראל‬
‫‪ x -Jx‬נולד בישראל‬

‫𝑥𝑀¬𝑥∃ ‪1.‬‬
‫)𝑥𝑀 → )𝑥𝐽 ∨ 𝑥𝐼((𝑥∀ ‪2.‬‬
‫𝑥𝐼¬𝑥∃ ‪3.‬‬
‫‪1‬‬ ‫)‪(1‬‬ ‫𝑥𝑀¬𝑥∃‬ ‫‪A‬‬
‫‪2‬‬ ‫)‪(2‬‬ ‫)𝑥𝑀 → )𝑥𝐽 ∨ 𝑥𝐼((𝑥∀‬ ‫‪A‬‬
‫‪2‬‬ ‫)‪(3‬‬ ‫𝑎𝑀 → )𝑎𝐽 ∨ 𝑎𝐼(‬ ‫‪UE 2‬‬
‫‪4‬‬ ‫)‪(4‬‬ ‫𝑐𝑀¬‬ ‫‪A‬‬
‫‪2,4‬‬ ‫)‪(5‬‬ ‫)𝑎𝐽 ∨ 𝑎𝐼(¬‬ ‫‪MTT 3,4‬‬
‫‪6‬‬ ‫)‪(6‬‬ ‫𝑎𝐼‬ ‫‪A‬‬
‫‪6‬‬ ‫)‪(7‬‬ ‫𝑎𝐽 ∨ 𝑎𝐼‬ ‫‪VI 6‬‬
‫‪2,4,6‬‬ ‫)‪(8‬‬ ‫)𝑎𝐽 ∨ 𝑎𝐼(&)𝑎𝐽 ∨ 𝑎𝐼(¬‬ ‫‪&I 5,7‬‬
‫‪2,4‬‬ ‫)‪(9‬‬ ‫𝑎𝐼¬‬ ‫‪RAA 6,8‬‬
‫‪2,4‬‬ ‫)‪(10‬‬ ‫𝑥𝐼¬𝑥∃‬ ‫‪EI 9‬‬
‫‪1,2‬‬ ‫)‪(11‬‬ ‫𝑥𝐼¬𝑥∃‬ ‫‪EE 2,4,10‬‬

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

‫כל הכלבים חוץ מרוטווילרים הם ידידותיים‪.‬‬

‫פיידו הוא כלב‪.‬‬
‫אבל פיידו אינו ידידותי‪.‬‬
‫לכן‪ ,‬פיידו הוא רוטווילר‪.‬‬
‫מילון‪:‬‬

‫‪ x -Dx‬הוא כלב‬
‫‪ x -Rx‬הוא רוטווילר‬
‫‪ x -Fx‬הוא ידידותי‬
‫‪ -m‬פיידו‬
‫‪1.‬‬ ‫)𝑥𝐹 → )𝑥𝑅¬&𝑥𝐷((𝑥∀‬
‫‪2.‬‬ ‫𝑚𝐷‬
‫‪3.‬‬ ‫𝑚𝐹¬‬
‫‪4.‬‬ ‫𝑚𝑅‬

‫‪1‬‬ ‫)‪(1‬‬ ‫)𝑥𝐹 → )𝑥𝑅¬&𝑥𝐷((𝑥∀‬ ‫‪A‬‬

‫‪2‬‬ ‫)‪(2‬‬ ‫𝑚𝐷‬ ‫‪A‬‬
‫‪3‬‬ ‫)‪(3‬‬ ‫𝑚𝐹¬‬ ‫‪A‬‬
‫‪1‬‬ ‫)‪(4‬‬ ‫𝑚𝐹 → )𝑚𝑅¬&𝑚𝐷(‬ ‫‪UE‬‬
‫‪1,3‬‬ ‫)‪(5‬‬ ‫)𝑚𝑅¬&𝑚𝐷(¬‬ ‫‪MTT 3,4‬‬
‫‪6‬‬ ‫)‪(6‬‬ ‫𝑚𝑅¬‬ ‫‪A‬‬
‫‪2,6‬‬ ‫)‪(7‬‬ ‫𝑚𝑅¬&𝑚𝐷‬ ‫‪&I 2,6‬‬
‫‪1,2,3,6‬‬ ‫)‪(8‬‬ ‫)𝑚𝑅¬&𝑚𝐷 (&)𝑚𝑅¬&𝑚𝐷(¬‬ ‫‪&I 5,7‬‬
‫‪1,2,3‬‬ ‫)‪(9‬‬ ‫𝑚𝑅‬ ‫‪RAA 6,8‬‬