126 views

Consider the following well-formed formula:

• $\exists x \forall y [ \neg \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(y)$

Show using resolution principle that the well-formed formula, given above, cannot be satisfied for any interpretation.

1
2