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

מגיש: אנטוניו דורון (ת.ז 318155272)
למנחה: ענבל קולינר
סמסטר 2025א
שאלה 1: הציגו פשר המראה כי הפסוקים שלהלן אינם שקולים לוגית: ∀x(∃yPxy→Pxa) ∀x∃y(Pxy→Pxa)

Domain: {a, b} I(P): {} I(a): {a} I(b): {b}

שאלה 2: הציגו פשר המראה כי הטיעון שלהלן אינו תקף : ∀xPx→∀xQx ∴∀x(Px→Qx)

Domain: {a, b} I(P): {a} I(Q): ∅ I(a}: {a} I(b}: {b}