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

Referentias modificar

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