in Mathematical Logic retagged by
358 views
1 vote
1 vote

Consider the following well-formed formula:

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

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

in Mathematical Logic retagged by
358 views

Please log in or register to answer this question.

Related questions