Quantificator

In mathematica e logica, un quantificatorPatrono:LinfoX es un operator del logico de predicatos.

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