מטלת מנחה 17 לקורס 'מבוא ללוגיקה' (10703) (להגשה מחדש)

מגיש: אנטוניו דורון (ת.ז 318155272)
למנחה: ענבל קולינר
סמסטר 2025א

שאלה 1: בדקו בשיטת עצי האמת את הקונסיסטנטיות של קבוצת הפסוקים:

{∀xPx, ∃x(Px∨¬Qx), ∀x(Qx∨∃yRxy), ∀x∀y¬Rxy}

![[Pasted image 20250201161047.png|500]]

לעץ האמת של קבוצת הפסוקים ענף פתוח, כלומר שהעץ פתוח והקבוצה קונסיסטנטית


שאלה 2: הוכיחו בשיטת הדדוקציה הטבעית את מסקנת הטיעון התקף שלהלן: 1. ∀x(Ax→Bx) 2. ∀x((Cx∧Bx)→Dx) 3. ∀x∃y(Cy∧Ryx) 4. ∀x∀y((Ryx∧Dy)→Dx) _∴ ∀x(∀y(Ryx→Ay)→Dx) _

|400


שאלה 3: הצרינו את הטענה: יש ספר אחד על שולחני. (מילון: Bx – x הוא ספר; Dx – x על שולחני)

(נפרש את הטיעון כ: "יש בדיוק ספר אחד על שולחני")

"קיים x כך ש-x הוא ספר (Bx) ו-x נמצא על שולחני (Dx), ועבור כל y, אם y הוא ספר (By) ו-y נמצא על שולחני (Dy), אז y זהה ל-x" ∃x((Bx∧Dx)∧∀y((By∧Dy)→y=x))

שאלה 4 : הצרינו את הטיעון הבא ובדקו את תקפותו בשיטת עצי האמת: "המרצה לפילוסופיה במכללת אפקה הוא פרופסור ולכן כל המרצים לפילוסופיה במכללת אפקה הם פרופסורים."
Lxy - x מרצה לפילוסופיה ב y Px - x הוא פרופסור a - מכללת אפקה

(נבין את הטענה "המרצה לפילוסופיה במכללת אפקה הוא פרופסור" כתיאור מיידע: כלומר, יש מרצה אחד לפילוסופיה במכללת אפקה).

  1. קיים x כך ש-x הוא מרצה לפילוסופיה במכללת אפקה (a) (Lxa) ו-x הוא פרופסור (Px)
  2. עבור כל x וכל y, אם x הוא מרצה לפילוסופיה באפקה (Lxa) וגם y הוא מרצה לפילוסופיה באפקה (Lya) אז x זהה ל-y
  3. לכן, עבור כל x, אם x הוא מרצה לפילוסופיה במכללת אפקה (Lxa), אז x הוא פרופסור (Px)


  1. ∃x(Lxa∧Px)
  2. ∀x∀y((Lxa∧Lya)→x=y) ∴ ∀x(Lxa→Px)

|400


עץ האמת של קבוצת הפסוקים הכוללת את הנחות הטיעון ואת שלילת המסקנה סגור. כלומר שקבוצת הפסוקים אינה קונסיסטנטית, והטיעון תקף