quantificatore universale 

quantificatore universale → quantificatore.

quantificatore universale

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 ...

quantificatore

universale1 

universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. [...] , del tutto: non erano ancora usciti della gioventù, che un espresso fastidio dell’esser loro gli aveva universalmente occupati (Leopardi). In logica matematica, quantificare universalmente, applicare un quantificatore universale (v. quantificare

universale¹

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 proprietà, di solito espressa da un predicato. Più precisamente, si introducono: il q. universale, indicato con il simbolo , che sta per «qualunque sia», «ogni», e il q. esistenziale, indicato con il simbolo , che

particolarizzare 

particolariżżare v. tr. [dal fr. particulariser, der. di particulier «particolare»]. – 1. non com. Particolareggiare, precisare o descrivere minuziosamente, nei particolari: nell’ultimo [...] pron., particolarizzarsi, nel linguaggio filos., farsi (da universale o generale) particolare, applicarsi a casi singoli logica matematica, applicare un quantificatore esistenziale a una forma enunciativa (v. quantificatore). ◆ Part. pass.

particolariżżare

simbolo 

sìmbolo s. m. [dal lat. symbŏlus e symbŏlum, gr. σύμβολον «accostamento», «segno di riconoscimento», «simbolo», der. di συμβάλλω «mettere insieme, far coincidere» (comp. di σύν «insieme» e βάλλω [...] n. 4). e. In logica, s. logico, segno usato per rappresentare un operatore logico (negazione, congiunzione, disgiunzione, quantificatore universale, ecc.). f. In musica, ciascuno dei segni convenzionali (per es., chiavi, pause) indicanti toni, valori