Given use the Fitch system to prove q(a)
I have started:
but I do not know how to continue. I believe I must prove also and by existential elimination I will get q(a). Can you help me solve it?
Follow Math Help Forum on Facebook and Google+
This is much simpler. Instantiate x with a in ∀x (p(x) => q(x)) and then use Modus Ponens (implication elimination) with p(a).
View Tag Cloud