I am trying to rewrite the following propositions so that the negation acts on directly.
- ¬∃ ∃ (, )
- ∃ ¬∀ ∃ ∀ (, , , w)
Told by my prof that:
Whenever there is negation of a quantification, the negation is "pushed" through the quantifier to change the quantifier (from ∃ to ∀ or from ∀ to ∃) and then negates what the quantifier binds This is repeated until all quantifiers have been alternated.
From what I understand you only negate the quantifier that the negation is directly in front of such as:
- ∀ ∃ (, )
- ∃ ∃ ∃ ∀ (, , , w)
Is this correct or is the negation sign applied to every quantifier after as well since there is no negation on the P, like it asked.
My other solution would then be:
- ∀ ∀ ¬(, )
- ∃ ∃ ∀ ∃ ¬ (, , , w)
Which solution, if either, are correct and why?
You have to change the negated quantifier and negate what it was quantifying. So from $\lnot \exists x \exists y P(x,y)$ you would go to $\forall x \lnot \exists y P(x,y)$ and then to $\forall x \forall y \lnot P(x,y)$