se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenzalogica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso ...
Leggi Tutto
proposizioni logicamenteequivalenti
proposizioni logicamenteequivalenti proposizioni che hanno identiche tavole di verità essendo vere o false in corrispondenza degli stessi valori di verità delle [...] lettere enunciative che vi compaiono (→ equivalenzalogica). ...
Leggi Tutto
LOGICA MATEMATICA
Beppo LEVI
*
. Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, [...] ) ovvero per comprensione (verificazione di determinate proposizioni). Tale correlazione è considerata da alcuni come assoluta equivalenza, per la quale la logica potrebbe tacere di una delle due teorie, siccome doppione dell'altra. Ciò è vero se si ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] introdurre, per mezzo di definizioni classiche, gli altri operatori della logica, e in particolare i segni che indicano la somma logica, l'implicazione e l'equivalenza, nonché il quantificatore universale (‛per ogni X'). Per completare l'arsenale ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] nel piano, conveniamo di dire che una figura piana F è equivalente, rispetto a G, a un’altra figura F′quando esiste una s’intende che non sono però in contraddizione, dal punto di vista logico, con i postulati. Esistono due tipi di g. non euclidea, ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] di ‘vero-in-L’, bensì come teoria del significato per L. Le equivalenze metalinguistiche della forma ‘E è vero-in-L se, e solo se, al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ insieme e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione, complementazione ecc.
Tratto comune a tutti i ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] interpretazioni che rendono vera H (tutte le formule di M) rendono vera anche K. Due formule H e K si dicono logicamenteequivalenti se e solo se ciascuna è conseguenza dell’altra. Un’interpretazione per un linguaggio L dicesi un m. per un insieme M ...
Leggi Tutto
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] e si può far vedere che, in generale, si ha equivalenza tra le termodinamiche descritte dai due i. se la costante k e da T. Skolem; è da rilevare come l’uso del formalismo logico nella teoria degli i., introducendo tutto il rigore che è proprio di ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] r. di equivalenza se è riflessiva, simmetrica e transitiva; essa induce sul suo campo una partizione in classi di equivalenza. Una r. operazioni specifiche, dette peirciane o schröderiane, dai nomi dei logici C.S. Peirce e E. Schröder che le hanno ...
Leggi Tutto
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 disgiunzione o somma logica di due o più...
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: un uomo, una donna di v., di...