Exercise 9-4 Which of the following are not correct uses of ruleQN? For each incorrect use, provide an alternative sentence thatcan be correctly derived using this rule.
(1)1. (x) ∼ Fx p
/∴ 2. ∼ (∃x) ∼ Fx
(3)1.(x) ∼ (∼ Fx ∨ Gx) ⊃ (x) ∼ Hx p
/∴ 2. ∼ (∃x)(Fx ∨ Gx) ⊃ (x) ∼ Hx
(5)1. ∼ (∃y)(∼ Ry ⋅ ∼ Ky) p
/∴ 2.(y)(Ry ⋅ ∼ Ky)
(7)1. ∼ (z) ∼ [(Fz ⊃ Gz) ⊃ ∼ Gz] p
/∴ 2. (∃z)[(Fz ⊃ Gz) ⊃ ∼ Gz]
(9)1.(y)[Fy ⊃ ∼ (∃z)(Gz ⋅ Hz)] p
/∴ 2.(y)[Fy ⊃ (z) ∼ (Gz ⋅ Hz)]
Exercise 9-4 Which of the following are not correct uses of rule QN? For each incorrect use, provide an alternative sent
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am