Geologia
In petrografia, si chiama struttura di i. quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno [...] =3 → x2−7x+12=0. L’i. è uno dei connettivi logico-proposizionali. A essa è associata la funzione di verità binaria, che assume valore ‘falso’ quando l’antecedente (ossia A) è vero e il conseguente (ossia B) è falso, e valore ‘vero’ in tutti gli altri ...
Leggi Tutto
Proposizioni subordinate che esprimono la conseguenzalogica – reale o possibile – di quanto è affermato nella reggente; possono avere forma esplicita, con il verbo al modo indicativo o congiuntivo introdotto [...] da una delle locuzioni tanto ... che, così ... che, in modo che o dalla congiunzione perché correlativa agli avverbi troppo, poco, abbastanza, oppure implicita, con il verbo al modo infinito retto dalle ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 Alfred Tarski darà la prima definizione adeguata dei concetti semantici fondamentali di verità, modello, insieme definibile, conseguenza e, nel 1945, Anatolij I ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] del risultato della sostituzione in Bj), allora la clausola C3=σ(A1 ⋁...⋁ Ai−1 ⋁ Aj+1 ⋁...⋁ An ⋁ B1 ⋁...⋁ Bj-1 ⋁ Bj+1 ⋁...⋁ Bm) è una conseguenzalogica (un risolvente) di C1 e C2. Per es. se C1=¬P(s(0), s(0), w) ⋁¬P(w, s(0), w1), C2=¬P(x, y, z ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] per oggetto l’argomentazione deduttiva. Una conclusione è validamente inferita o dedotta da certe premesse, cioè è una loro conseguenzalogica, se non può essere falsa essendo vere le premesse. Un’argomentazione deduttiva è valida se la conclusione è ...
Leggi Tutto
conseguenzaconseguenza si dice che l’enunciato P è conseguenzalogica di un insieme A di enunciati (tipicamente un sistema di assiomi) quando P è dedotta da uno o più enunciati di A. Se la deduzione [...] P si ottiene a partire dagli enunciati di A attraverso regole di inferenza formali e si parla più propriamente di conseguenza sintattica. Per conseguenza semantica si intende invece il fatto che P risulta vero in tutti modelli in cui sono veri gli ...
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 [...] valori semantici di tutte le espressioni composte e ogni enunciato risulti vero oppure falso nel modello. Un enunciato E è una conseguenzalogica classica di un insieme di enunciati Γ se, e solo se, per ogni modello classico M, se tutti gli enunciati ...
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 [...] formula di L si dice 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
In senso lato, scienza che studia l’atmosfera terrestre e i fenomeni (meteore) di varia natura (dinamici, termodinamici, ottici, elettrici ecc.) che in essa si verificano. La visione innovativa della m. [...] evoluzione dell’atmosfera e quindi dei fenomeni meteorologici è la conseguenza dell’evoluzione della Terra nel suo insieme.
La meteorodinamica stagionale o addirittura annuale non può seguire la logica della sola condizione iniziale, ma deve tenere ...
Leggi Tutto
PUNICHE, GUERRE
Arnaldo Momigliano
. Si designano con tal nome tre guerre fra Roma e Cartagine avvenute rispettivamente tra gli anni 264 e 241 a. C. (con una ripresa nel 238 a. C.); 219 e 201; 151 e [...] Romani alla prosecuzione nella guerra dopo le sconfitte di Eraclea e di Ausculo. Ma doveva essere appunto conseguenzalogica, sebbene apparentemente paradossale, della lotta contro Pirro, che, condotta a fondo in nome della solidarietà punico-romana ...
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...