Quantificator

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

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

Referentias[modificar fonte]

  1. Derivation (in ordine alphabetic): (ca) Quantificador (lògica) || (de) Quantor || (en) Quantifier (logic) || (es) Cuantificador || (fr) Quantificateur (logique) || (it) Quantificatore || (pt) Quantificação || (ro) || (ru) Квантор