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

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

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 βάλλω «gettare»)]. [...] 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 ... Leggi Tutto

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