verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. affidabilità: [...] : III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ Funzione di v.: nella logicaproposizionale, v. logica: III 483 e. ◆ Valori di v.: i due valori ...
Leggi Tutto
verità, tavola di metodo semantico della logicaproposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («vero» V oppure «falso» F) di un enunciato [...] sia a sia b sono veri. La corrispondente tavola di verità è la seguente: table Nel caso della logica classica (ma la considerazione risulta valida anche in molti altri sistemi di ... ...
Leggi Tutto
verità, funzione di nella logicaproposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori V o F. Ogni tavola di verità definisce una funzione di verità; per esempio la tavola di verità associata al ...
Leggi Tutto
intuizionista La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel [...] non teorema utilizzando una matrice finita. Questo garantisce la decidibilità della logicaproposizionale intuizionista. Negli stessi anni Gerard Gentzen introduce un nuovo tipo di ... ...
Leggi Tutto
logica temporale particolare → logica modale che studia la struttura delle proposizioni che esprimono, in vario modo, il concetto di temporalità. Interessanti riflessioni [...] degli anni Cinquanta del secolo scorso, la logica temporale è andata costituendosi come branca autonoma della logica. La logicaproposizionale temporale può essere formulata in un ... ...
Leggi Tutto
Tarski 〈tàrsk'i〉, Alfred. - Logico, matematico e filosofo di origine polacca ( [...] problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logicaproposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo ... ...
Leggi Tutto
Łukasiewicz ‹u̯ukaš'èv'ič›, Jan. - Studioso di logica ( [...] megarico-stoica (in cui individua aspetti che possono riportarsi alla logicaproposizionale e a temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi modelli ... ...
Leggi Tutto
RazionalitàFilosofia di Antonio Rainone È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi [...] indicati alcuni modelli inferenziali (il modus ponens e forse il modus tollens della logicaproposizionale) come requisiti necessari per la r., con l'avvertenza, tuttavia, che non ...
Leggi Tutto
VERITÀ PROCESSUALE. – Una nozione dubbia. Una verità possibile. Quale verità. Verità e realtà. Verità e prova. Verità e probabilità. Bibliografia Una nozione dubbia. – Nel [...] , p. 91). La seconda nozione fa invece riferimento alla probabilità logica (detta anche baconiana), ossia alla logicaproposizionale e alle inferenze che si formulano per derivare ...
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 [...] soddisfacimento di una funzione proposizionale, che rappresenta una è determinata dalla loro struttura. La s. logica che discende più direttamente da quella tarskiana è ...
Leggi Tutto
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo proposizionale, il calcolo delle proposizioni (v. proposizione, n. 2); variabile proposizionale, ...
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di ...