LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] linee essenziali, la l. m. viene oggi detta estensionale e bivalente o classica; con riferimento ad essa possono considerarsi versioni non classiche o estensioni le logiche intuizionistica, polivalente e modale.
Queste hanno avuto negli ultimi anni ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] che una certa conclusione segue correttamente da certe premesse: v. logica. ◆ [ALG] [FAF] L. algebrica o algebra della falso") come avviene nella l. enunciativa classica, detta appunto l. binaria o bivalente o a due valori. ◆ [ELT] [INF] L. cablata: v ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] incompleta circa la collocazione precisa di un istante) nella logica temporale e il passaggio da una semantica bivalente a una che ammette lacune di valore di verità nella logica dei quantificatori sono manifestazioni parallele di una tendenza che è ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] sequente ⇒A è dimostrabile in LK allora A è una legge logica. Quanto alla completezza, essa si può formulare dicendo che ⇒A è e 1 il loro valore determini, come nella definizione bivalente, quello delle componenti. Come mostrato da Kurt Schütte nel ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] a cloruro ferroso, in cui il ferro passa da trivalente a bivalente (il processo inverso è detto ossidazione). ◆ [CHF] R. anodica all'assurdo, che è forse la più antica legge della logica degli enunciati, già conosciuta da Platone, afferma che, se un ...
Leggi Tutto
polivalente
polivalènte agg. [comp. di poli- e valente]. – 1. In chimica, di elemento che presenta più di un grado di valenza (come, per es., il ferro, che è bi-, tri-, esavalente, e raram. anche monovalente); in chimica organica, di alcole...