predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] è. Nel calcolo degli enunciati questo procedimento è rappresentato dalle tavolediverità, mentre nel calcolo dei predicati non esiste una procedura simile e quindi, per il teorema di completezza, non esiste un metodo effettivo per controllare se una ...
Leggi Tutto
Boole, algebra di
Boole, algebra di particolare struttura algebrica, introdotta originariamente da G. Boole. Permette di effettuare un calcolo algebrico che ha come oggetti non i numeri, ma i valori [...] del calcolo algebrico. Per esempio, per conoscere il valore diverità dell’enunciato
senza utilizzare le tavolediverità, si può tradurre l’enunciato nei termini dell’algebra di Boole binaria, ottenendo l’espressione
alla quale si possono ...
Leggi Tutto
Horn-soddisfacibilita
Horn-soddisfacibilità particolare connotazione della soddisfacibilità di una formula. In generale una formula si dice soddisfacibile se esiste una interpretazione delle variabili [...] letterali A, B, C, D, E rispettivamente i valori diverità V, V, V, V, F.
In generale, per qualsiasi insieme di enunciati esiste un algoritmo, dato dalle tavolediverità, che permette di stabilire se tale insieme è soddisfacibile oppure no. Ciò che ...
Leggi Tutto
formula decidibile
formula decidibile in un calcolo logico, formula ben formata a tale che o essa stessa o la sua negazione ￢a (si legge «non a») siano dimostrabili formalmente in tale calcolo. Ciò equivale [...] A ⇒ (B ⇒ A) (si legge «A implica B implica A»), scritta nel linguaggio degli enunciati, corrisponde la seguente tavoladiverità:
Dalla tabella precedente si evince che la formula A ⇒ (B ⇒ A) è una tautologia, cioè risulta sempre vera (valore ...
Leggi Tutto
equivalenza logica
equivalenza logica relazione che lega due enunciati (o, formalmente, due forme enunciative) se questi sono veri o falsi in corrispondenza degli stessi valori diverità delle lettere [...] primo è vero solo nel caso in cui sia vero anche il secondo e viceversa, come è evidente dalla loro rispettive tavolediverità:
Le rispettive ultime colonne delle due tabelle hanno gli stessi valori: i due enunciati composti sono veri o falsi in ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavolediverità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori diverità standard (di solito identificati [...] quanto ciò che si ottiene è una logica che è essa stessa imprecisa possedendo valori diverità vaghi, tavolediverità vaghe e regole d'inferenza di validità approssimata.
Recentemente, tuttavia, è rinato l'interesse anche per le matrici a infiniti ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Wittgenstein è uno dei filosofi più influenti del Novecento. In vita ha pubblicato un solo [...] . Piuttosto, il loro funzionamento è esibito nelle tavolediverità, un procedimento algoritmico introdotto da Wittgenstein e ancora in uso, che permette di calcolare il valore diveritàdi una proposizione complessa a partire dalle proposizioni ...
Leggi Tutto
decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] . Per esempio il calcolo degli enunciati è decidibile perché per ogni enunciato è possibile stabilire, tramite le tavolediverità, se esso è una tautologia, e quindi se è dimostrabile. Tuttavia non è vero che ogni enunciato è decidibile: basti ...
Leggi Tutto
De Morgan, leggi di
De Morgan, leggi di equivalenze logiche che permettono il passaggio da una congiunzione fra proposizioni a una disgiunzione e viceversa. In simboli:
Per esemplificare la prima legge [...] fra le due proposizioni:
Analogamente, per verificare la seconda legge si mette a confronto la tavoladiverità dellʼenunciato ￢(a ∧ b) con la tavoladiverità dellʼenunciato ￢a ∨ ￢b e si verifica lʼequivalenza logica fra le due proposizioni.
Le ...
Leggi Tutto
tavola
tàvola s. f. [lat. tabŭla]. – 1. Asse di legno di spessore sensibilmente minore della lunghezza e della larghezza: segare, piallare una t.; accatastare le t.; chiudere un’apertura con tre t. inchiodate; t. di salvezza, quella a cui...
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...