implicazione
Enciclopedia on line
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
lògica matemàtica
Enciclopedia on line
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
CATEGORIA:
LOGICA MATEMATICA
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
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 conseguenza logica (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
modello
Enciclopedia on line
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 è conseguenza logica (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
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
semantica
Enciclopedia on line
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 conseguenza logica classica di un insieme di enunciati Γ se, e solo se, per ogni modello classico M, se tutti gli enunciati ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
finitezza, teoremi di
Enciclopedia on line
In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] due formulazioni equivalenti del teorema semantico di f.: c) un’espressione A è conseguenza logica di un insieme P di espressioni se e solo se A è conseguenza logica di un sottoinsieme finito di P; d) un insieme P di espressioni è soddisfacibile ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
proprieta
Dizionario delle Scienze Fisiche (1996)
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 conseguenza logica della definizione stessa del-l'ente; sono tali, per es., le p. associativa, commutativa, distributiva, ecc. di alcune ...
Leggi Tutto
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] la possibilità di usare questi linguaggi per classificare i grandi cardinali e viceversa. Va notato infine che lo studio della validità o meno di forme del teorema di compattezza si estende a linguaggi e logiche non classiche.
→ Modelli, teoria dei ...
Leggi Tutto
CATEGORIA:
LOGICA
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] classi di linguaggi, nozioni centrali come quelle di interpretazione, denotato, verità, soddisfazione, definibilità, modello e conseguenza logica. Tutti questi concetti sono definiti all’interno della teoria degli insiemi, che viene così a costituire ...
Leggi Tutto
CATEGORIA:
LOGICA