Quantificator

In mathematica e logica, un quantificator es un operator del logico de predicatos.

NomineNotation 1Notation 2Lectionquantificator universal  Pro omne  valequantificator existential  Il existe al minus un , pro que valequantificator unicitari  Il existe exactemente uno , pro que vale

Categoria:Logica mathematic