OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di [...] di due o più variabili binarie (operazione OR); OR esclusivo, operazione logica (detta anche non equivalenza o, in simbolo, XOR) tra due o più variabili binarie, il cui risultato è nullo se e solo se tutte le variabili hanno lo stesso valore. In ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. [...] indicare enunciati molto generali (ma diversi da un punto di vista logico, perché si può trattare di assiomi, di teoremi, ecc.). in geometria euclidea, p. di Cavalieri, assioma relativo all’equivalenza di due poliedri e più in generale di due solidi ...
Leggi Tutto
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: [...] . a una cosa); indica più propr. il prezzo o l’equivalente in denaro, in espressioni come acquistare una partita di libri per segno positivo o negativo, di norma indicato col simbolo |n|. In logica matematica, v. di verità, la qualifica di vero (V) o ...
Leggi Tutto
ineffettuale
agg. Non reale, privo di concretezza. ◆ La disperazione della vittima dell’usura è una marea che non cessa di salire: è una disperazione che altre alternative non vede che la fine della [...] a capire una distinzione decisiva: il relativismo significa non equivalenza di tutti i valori, ma rinuncia a imporre ad altri 26 luglio 2005, p. 35, Cultura) • la logica della rappresentazione democratica del confronto sociale non ha affrontato ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. [...] nel definire una classe di elementi attraverso una relazione di equivalenza la quale, all’interno di un insieme dato, identifica soltanto altri termini di significato noto. d. In logica matematica, d. metalinguistica, quella espressa in un ...
Leggi Tutto
equivalenza logica
equivalenza logica relazione che lega due enunciati (o, formalmente, due forme enunciative) se questi sono veri o falsi in corrispondenza degli stessi valori di verità delle lettere enunciative che vi compaiono. Si dicono,...
equivalenza
equivalenza termine generale usato in tutti i contesti della matematica per indicare che due oggetti hanno “qualcosa in comune” rispetto a una caratteristica in esame: comunque declinato o aggettivato (→ equivalenza logica; → equivalenza...