0
$\begingroup$

Trying to rectify this formula. I'm having problems eliminating the correct symbols.

$$F = ∀x[∀y(P(x,y)∪Q(x,z)) ∩∃z∃x∀y(¬P(x,y) ∪ ∀z¬Q(x,z))]$$

$\endgroup$

1 Answer 1

2
$\begingroup$

$$F = ∀x[∀y(P(x,y)∪Q(x,z))∩∃z∃x∀y(¬P(x,y)∪∀z¬Q(x,z))]$$ Notice that $∃z$ is not needed. $$F = ∀x[∀y(P(x,y)∪Q(x,z))∩∃x1∀y1(¬P(x1,y1) ∪ ∀z1¬Q(x1,z1))]$$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .