in Formulario mathematico (1896). Afterwards, Bertrand Russell popularised its use as the existential quantifier. Through his research in set theory, Peano also introduced the symbols and to respectively denote the intersection and union of sets.

Properties

Negation

A quantified propositional function is a statement; thus, like statements, quantified functions can be negated. The symbol is used to denote negation.

For

1.Previous
3.Next