Question

Consider the following hypothesis.
M(John) hypothesis 1
∀x(M(x) ^ N(x) hypothesis 2
∀x(N(x) ↔ P(x)) hypothesis 3

Use the rules of inference to prove that the following conclusion follows from these hypothesis. Clearly label the rules of inference used at every step of your proof.
P(John)

Answer 1

The answer for the above mentioned question is explained below ::

From the given three hypothesis and by using rules of inference the conclusion P(John) is as follows ::