implicazione
implicazióne [Der. del lat. implicatio -onis, dal part. pass. implicatus di implicare "piegare, avvolgere, coinvolgere", comp. di in- e plicare da plica "piega"] [FAF] Conseguenza necessaria [...] di una proposizione, di un evento, ecc. ◆ [ALG] [FAF] I. logica: la relazione intercorrente tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda, scrivendosi A→B e leggendo "A implica B" oppure "se è vera A, allora è vera B ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] formula di L dicesi contraddittoria se e solo se è falsa per ogni interpretazione. Si dice che una formula K è conseguenzalogica (o conseguenza) di una formula H (o in generale di un insieme M di formule) se e solo se le interpretazioni che rendono ...
Leggi Tutto
proprieta
proprietà [Der. del lat. proprietas -atis, da proprius "proprio"] [LSF] Qualità propria e particolare che un ente (una sostanza, un corpo, un sistema materiale, un essere vivente, una specie [...] un ente, è sinon. di attributo, qualità, predicato e simili. ◆ [ALG] [ANM] P. formali di un ente matematico: ogni conseguenzalogica della definizione stessa del-l'ente; sono tali, per es., le p. associativa, commutativa, distributiva, ecc. di alcune ...
Leggi Tutto
MAGNETISMO (XXI, p. 922)
Giorgio MONTALENTI
Mario TENANI
Fatti sperimentali fondamentali. - Per lunghissimo tempo con la denominazione fenomeni magnetici si intese indicare quel gruppo di fatti causati [...] possibili, e che il campo molecolare di Weiss soddisfi alla [10bis]. Questa ultima ipotesi costringe ad ammettere, come logicaconseguenza, che l'intensità di magnetizzazione non è nulla anche se è nullo il campo esterno, come si vede immediatamente ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. La fisica e la chimica intorno al 1900
John L. Heilbron
La fisica e la chimica intorno al 1900
Il secolo compreso tra il 1870 e il 1970 rappresenta [...] di nickel e acciaio, per le quali Guillaume ottenne il premio Nobel nel 1920.
La più rilevante e logicaconseguenza dello scambio internazionale in campo fisico e chimico sarebbe stata la creazione di un'organizzazione incaricata di coordinare il ...
Leggi Tutto
L'Eta dei Lumi: l'avvento delle scienze della Natura 1770-1830. La retroguardia qualitativa
Giuliano Pancaldi
John L. Heilbron
Anders Lundgren
La retroguardia qualitativa
Nuovi fenomeni: la pila [...] per rivitalizzare lo studio della chimica. Altri affermano che il metodo del bilancio di materia sia stato la logicaconseguenza dell'interesse lavoisieriano per gli esperimenti di Stephen Hales (1677-1761) e di Joseph Black (1728-1799). Anche ...
Leggi Tutto
conseguenzaconseguènza [Der. del lat. consequentia, da consequi (→ conseguente)] [FAF] Conclusione che si deduce da una premessa. Una formula a è c. logica di un insieme F di formule se a è vera in [...] 485 d. ◆ [FAF] Funzione di c.: la funzione logica che associa a ogni insieme di espressioni la totalità delle espressioni che sono c. dell'insieme medesimo. ◆ [FAF] Relazione di c.: particolare relazione tra un'espressione e un insieme di espressioni ...
Leggi Tutto
molecolari, màcchine Locuzione con cui si indicano i sistemi supramolecolari costituiti da un numero discreto di componenti, capaci di compiere movimenti utili allo svolgimento di certe funzioni, sotto [...] F1, essa riacquista le sue caratteristiche elettrondonatrici e, di conseguenza, l’anello F ruota nuovamente riportando il sistema alla struttura iniziale.
Nanomacchine e logica a livello molecolare
Le macchine molecolari artificiali discusse negli ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] s. ipotetico-deduttivo, pur essendo logicamente coerente, non è un modello matematico astratto dello spazio fisico. Normalmente si richiede che i postulati siano indipendenti, cioè che nessuno di essi sia conseguenza degli altri; talvolta invece, per ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre tali che valga la relazione d(x0, x)<r; in conseguenza è possibile introdurre una nozione di continuità e in definitiva una struttura ...
Leggi Tutto
conseguenza
conseguènza (ant. consequènza) s. f. [dal lat. consequentia, der. di consĕqui «seguire»]. – 1. a. Conclusione che si deduce logicamente da una premessa: le tue affermazioni sono giuste, ma la c. è errata; io vi ho esposto i fatti,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...