Quantificator
In mathematica e logica, un quantificator[1] es un operator del logico de predicatos.
Nomine | Notation 1 | Notation 2 | Lection |
quantificator universal | Pro omne vale | ||
quantificator existential | Il existe al minus un , pro que vale | ||
quantificator unicitari | Il existe exactemente uno , pro que vale |