Quantificator

In mathematica e logica, un quantificator es un operator del logico de predicatos.

Nomine	Notation 1	Notation 2	Lection
quantificator universal	$\forall x$	$\bigwedge _{x}$	Pro omne $x$ vale
quantificator existential	$\exists x$	$\bigvee _{x}$	Il existe al minus un $x$, pro que vale
quantificator unicitari	$\exists !x$	$\bigvee _{x}^{\bullet }$	Il existe exactemente uno $x$, pro que vale