Natural Deduction: Provide proofs for the following arguments. You may use both primitive and derived rules of inference
Posted: Thu Jul 07, 2022 2:19 pm
Natural Deduction: Provide proofs for the following arguments.You may use both primitive and derived rules of inference.
19. (∃z)(∃y)(Tz ⊃ By)
∴ (∀z)Tz ⊃ (∃z)Bz
19. (∃z)(∃y)(Tz ⊃ By)
∴ (∀z)Tz ⊃ (∃z)Bz