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 [...] ), più noto sotto il nome di logoterapia. Per il quantificatore e., in logica matematica, v. quantificatore. ◆ Avv. eṡistenzialménte, in modo esistenziale; in logica matematica, quantificare esistenzialmente, applicare un quantificatore esistenziale. ... 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 [...] 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 significa «esiste almeno un» (i due simboli sono una A rovesciata e una E ribaltata ... 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 [...] , p. l’enunciato di un teorema, ecc. In logica matematica, applicare un quantificatore esistenziale a una forma enunciativa (v. quantificatore). ◆ Part. pass. particolariżżato, raro per particolareggiato, anche come agg.: questo particolarizzato ... Leggi Tutto

particolarizzatore particolariżżatóre s. m. [der. di particolarizzare]. – In logica matematica, lo stesso che quantificatore esistenziale (v. quantificatore). ... Leggi Tutto