Dark Mode

Recent questions tagged clausal-form

1 vote

1 answer

1

GATE CSE 1988 | Question: 14ii
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.

go_editor asked in Mathematical Logic Dec 20, 2016

665 views

1 vote

1 answer

2

GATE CSE 1988 | Question: 14i
Consider the following well-formed formula: $\exists x \forall y [ \neg \: \exists z [ p (y, z) \wedge p (z, y) ] \equiv p(x,y)]$ Express the above well-formed formula in clausal form.

go_editor asked in Mathematical Logic Dec 20, 2016

653 views

To see more, click for the full list of questions or popular tags.

Recent questions tagged clausal-form