question archive Show the following argument is valid using a derivation
Show the following argument is valid using a derivation
Subject:PhilosophyPrice: Bought3
Show the following argument is valid using a derivation. Use only the BASIC RULES: MP, MT, ADD, MTP, ADJ, S, R, DN, CB, BC, EI, UI, and EG.
∀x(Gx→Hx). ∃y(Fy∧Gy) ∴ ∃z(Fz∧Hz)
