verita, tavoladiverità, tavoladi metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore diverità («vero» V oppure «falso» F) di un enunciato composto [...] composto a ∧ b, ottenuto con la loro congiunzione è vero se e solo se sia a sia b sono veri. La corrispondente tavoladiverità è la seguente:
Nel caso della logica classica (ma la considerazione risulta valida anche in molti altri sistemi ...
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 [...] una formula del linguaggio enunciativo è valida o no, se è soddisfacibile o no, mediante le cd. tavolediverità che prendono in considerazione tutte le possibili interpretazioni per le proposizioni elementari.
Logica dei predicati
Sono presenti in ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] se la proposizione a cui si applica la negazione è falsa, e viceversa; si può rappresentare tale f. con il seguente schema (o tavoladiverità):
dove, nella colonna di destra, è segnato il valore che la f. (e quindi la proposizione ‘non p’) assume ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] binarie hanno valore diverso tra loro. Quanto sopra può essere esteso al caso di più variabili binarie. Le tabelle 1 e 2 sono dette anche tavolediverità delle operazioni logiche che in esse compaiono.
Ciascuno dei circuiti digitali impiegati per ...
Leggi Tutto
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] quindi parere possibile costruire delle "tavolediverità" che consentano di stabilire, in maniera chiara e univoca, il valore diveritàdi qualsiasi frase composta (questo ricorda l'aspirazione di Leibniz a creare una "characteristica universalis ...
Leggi Tutto
ŁUKASIEWICZ, Jan
Alberto PASQUINELLI
Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] Frege, C. S. Peirce, E. L. Post e L. Wittgenstein, tavolediverità a tre valori (verità, falsità, contingenza) come metodo di prova e di decisione. Furono cosị poste le basi di una logica trivalente e, con la generalizzazione della procedura, delle ...
Leggi Tutto
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] falso (e viceversa). Per calcolare i valori diverità degli enunciati composti, in funzione dei valori diverità degli enunciati componenti, si sogliono utilizzare le cosiddette ‛tavolediverità' (a ogni connettivo ne corrisponde una distinta ...
Leggi Tutto
Chimica fisica dei sistemi non lineari
John Ross
SOMMARIO: 1. Introduzione. 2. Definizioni e concetti elementari. 3. Tipi di fenomeni non lineari: a) sistemi chimici con stati stazionari multipli; [...] , se meccanismi di reazioni chimiche contengono componenti di calcolo, allora la difficile analisi di meccanismi complessi potrebbe essere portata avanti attraverso l'applicazione di esperimenti che stabiliscano tavolediverità e funzioni logiche ...
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 [...] lineari, paraconsistenti e dialettiche.
In queste logiche la presenza nel linguaggio di operatori non classici rispecchia la divergenza della loro semantica basata su tavolediverità a più valori, rispetto alla semantica standard, che è rigidamente ...
Leggi Tutto
enunciati, linguaggio degli
enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore diverità e per comporle tra loro, in modo tale che sia [...] sono qui riportate le tavolediveritàdi alcuni connettivi:
Utilizzando le tavolediverità è possibile determinare il valore diveritàdi una qualsiasi forma enunciativa. Nel caso dell’enunciato ￢A ∨ B la tavoladiverità è la seguente:
Per ...
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;...