Provide proofs for the following arguments. You may use both primitive and derived rules of inference. 19. (∃z)(∃y)(Tz ⊃
Posted: Thu Jul 07, 2022 2:19 pm
Provide proofs for the following arguments. You may use bothprimitive and derived rules of inference.
19. (∃z)(∃y)(Tz ⊃ By)
∴ (∀z)Tz ⊃ (∃z)Bz
20. (∀x)~Rx
(∃z)[Pz ⊃ (∀y)(Py ⊃ Ry)]
∴~(∀x)Px
21. b = c
∴ Bc ≡ Bb
19. (∃z)(∃y)(Tz ⊃ By)
∴ (∀z)Tz ⊃ (∃z)Bz
20. (∀x)~Rx
(∃z)[Pz ⊃ (∀y)(Py ⊃ Ry)]
∴~(∀x)Px
21. b = c
∴ Bc ≡ Bb