quantificatorequantificató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 [...] (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 ...
Leggi Tutto
operatore
operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] , la forma enunciativa x+2=7 si trasforma in un enunciato vero premettendo il quantificatoreesistenziale: ∃x(x+2=7) o in un enunciato falso premettendo il quantificatore universale: ∀x(x+2=7); (b) il simb. "+" e "✄" dell'operazione, rispettiv., di ...
Leggi Tutto
E
E [Forma maiusc. della lettera e] [ASF] Una delle componenti della corona (←) solare. ◆ [GFS] Simb. del punto cardinale est. ◆ [CHF] Simb. dell'elemento chimico einsteinio. ◆ [FAF] (a) Simb. del connettivo [...] (←) logico; (b) una E ribaltata, ∃, è simb. del quantificatore (←) esistenziale. ◆ [MTR] Simb. del prefisso metrologico SI exa-. ◆ [ALG] E(x) indica la parte intera del numero x. ◆ [ASF] E₂ è il simb. della riga spettroscopica di Fraunhofer di ...
Leggi Tutto
esistenziale
eṡistenziale agg. [dal lat. tardo exsistentialis]. – Dell’esistenza, che riguarda l’esistenza (nel suo sign. più astratto, cioè l’esistere, l’esserci): problemi e.; rapporti e.; angoscia e., l’angoscia conseguente alla situazione...
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...