in the notation for quantification (which apply to all forms) can be found in the Quantifier article.

Properties

Negation

The negation of a universally quantified function is obtained by changing the universal quantifier into an existential quantifier and negating the quantified formula. That is,
:where denotes negation.

For example, if is the propositional function

1.Previous
3.Next