2

From the comments: I tried to use Existential Elimination but I can't figure out how to do it properly. Existential Elimination: When given that an existential statement (eg ∃z P(z)) holds, and show that a statement (eg Q) may be derived when we assume a witness for the existential (eg P(c), where c is a term that does not occur within P(z) or Q), then we ...


Only top voted, non community-wiki answers of a minimum length are eligible