Quantificatore

quantificatore

quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti, tra quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale, di simb. ∃ (l'iniziale ribaltata dell'ingl. exist "esiste"), che significa "esiste almeno un"; per es., ∃x∀y(x+y=y) significa che esiste almeno un numero (x) che sommato a un qualunque altro numero (y) lo lascia inalterato (x+y=y) (si tratta dello zero). ◆ [FAF] Campo d'azione di un q. e indice di un q.: v. logica: III 484 d.