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
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
‹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
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
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
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
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
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
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
formalizzazione
formaliżżazióne s. f. [der. di formalizzare]. – L’atto, l’operazione, il procedimento di formalizzare, nelle varie accezioni: f. di un’istruttoria, in procedura penale; f. del linguaggio, [...] dei dati di un messaggio, in logica e nell’informatica; f. di una teoria, in matematica, l’operazione di formalizzare la teoria, e anche il sistema formale ottenuto formalizzando la teoria. ...
Leggi Tutto
alternativa
alternativa [Der. di alternato] [FAF] [ELT] [INF] Operazione logica, sinon. di OR. ◆ [ANM] Principio dell'a.: principio utilizzabile per la risolubilità di un'equazione integrale di Fredholm di seconda specie: v. equazioni integrali:...
exor
exor in logica, operazione definita in un’algebra di Boole, talvolta indicata anche con xor. Data una coppia di variabili booleane a e b, tali cioè da poter assumere solo i valori 0 e 1, l’exor è un’operazione binaria, indicata con il...