Quantificator

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca

In mathematica e logica, un quantificator 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