disgiunzione

Vocabolario on line

disgiunzione disgiunzióne s. f. [dal lat. disiunctio -onis, der. di disiungĕre «disgiungere»]. – 1. Il disgiungere, l’essere disgiunto: la d. delle forze nemiche. 2. Nella logica, proposizione il cui [...] verificata dagli elementi di un certo insieme ai quali compete o l’uno o l’altro di due attributi, e corrisponde all’operazione di unione o somma logica: se A è la classe degli enti ai quali compete l’attributo a, e B la classe degli enti ai quali ... Leggi Tutto

qualificazióne

Vocabolario on line

qualificazione qualificazióne s. f. [dal lat. mediev. qualificatio -onis]. – Il fatto di qualificare, di qualificarsi o di venire qualificato. Raro in usi generici (è una q., quella di «rompiscatole», [...] caratteristiche, venga considerato qualificato (v. qualificato). c. Nel diritto internazionale privato, q. dei fatti, l’operazione di logica giuridica con cui, per stabilire la norma regolatrice di un determinato fatto, si accerta preliminarmente la ... Leggi Tutto

NAND

Vocabolario on line

NAND ‹nänd› [acronimo di N(ot) «non» e AND]. – Termine ingl. talora usato, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di negazione del prodotto logico [...] (AND) tra due o più variabili binarie (operazione NAND), e più spesso nell’elettronica digitale per indicare il dispositivo che attua tale operazione (circuito NAND). ... Leggi Tutto

conversióne

Vocabolario on line

conversione conversióne s. f. [dal lat. conversio -onis, der. di convertĕre «convertire»]. – 1. Rivolgimento, movimento di un corpo nello spazio intorno a un altro corpo; in partic., movimento di rivoluzione [...] dalla forma binaria alla forma decimale, oppure dal codice di un certo calcolatore a quello di un altro). l. Nella logica, operazione con cui da una proposizione se ne ricava un’altra la quale, presentando invertito l’ordine dei termini (soggetto e ... Leggi Tutto

CATEGORIA: CHIMICA FISICA – CHIMICA INDUSTRIALE – INDUSTRIA CHIMICA E PETROLCHIMICA

càmbio

Vocabolario on line

cambio càmbio s. m. [der. di cambiare]. – 1. a. Permuta di una cosa con un’altra: fare, proporre, accettare un c.; rendere il c., contraccambiare; dare, ricevere in c., fare a cambio. b. In partic., [...] dei biglietti in monete d’oro; c. dei biglietti, operazione mediante la quale i biglietti di banca o di stato ; cantone, canzone; delusione, derisione). c. In logica simbolica, c. alfabetico, particolare procedimento consistente nella sostituzione ... Leggi Tutto

CATEGORIA: ANATOMIA MORFOLOGIA CITOLOGIA – ANATOMIA – TRASPORTI TERRESTRI

invèrso¹

Vocabolario on line

inverso1 invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: [...] o indice delle parole di un autore, di un’opera, in cui le singole voci sono ordinate alfabeticamente non all’inverso, sostengo che ha agito male. 3. agg. Nella logica formale, proposizione i., quella che si può ricavare da una proposizione ... Leggi Tutto

anàliṡi

Vocabolario on line

analisi anàliṡi s. f. [dal gr. ἀνάλυσις, der. di ἀναλύω «scomporre, risolvere nei suoi elementi»]. – 1. Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a [...] da esse assunte per effetto della flessione; a. logica, scomposizione del periodo nelle proposizioni che lo compongono, frase. Nella critica e nella scuola, a. estetica, esame di un’opera d’arte, spec. poetica, dal punto di vista estetico. In musica, ... Leggi Tutto

CATEGORIA: CHIMICA FISICA

sìmbolo

Vocabolario on line

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»)]. [...] lo stesso che cifra d’informazione o di controllo (v. cifra, 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 ... Leggi Tutto

quantificazióne

Vocabolario on line

quantificazione quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata [...] al soggetto, anche al predicato (per es., «tutti gli uomini sono alcuni dei vertebrati»); teoria della q., in logica matematica, studio dei quantificatori e delle loro funzioni (è strettamente collegata al calcolo dei predicati: v. predicato, n. 2 ... Leggi Tutto

derivazióne¹

Vocabolario on line

derivazione1 derivazióne1 s. f. [dal lat. derivatio -onis, der. di derivare «derivare1»]. – 1. L’atto, l’operazione, il fatto di derivare o di essere derivato, e il modo o il processo attraverso cui [...] alcune derivazioni. E con riferimento alle accezioni fig. del verbo: d. logica di una verità da un’altra; il suo comportamento è una d dei potenziali di azione. c. In matematica, operazione mediante la quale si determina la derivata di una ... Leggi Tutto