verita, tavola di 

verità, tavola di metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («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 tavola di verità è la seguente:


Nel caso della logica classica (ma la considerazione risulta valida anche in molti altri sistemi

verita, tavola di

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. tavole di verità che prendono in considerazione tutte le possibili interpretazioni per le proposizioni elementari.

Logica dei predicati
Sono presenti in

lògica matemàtica

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 tavola di verità):


dove, nella colonna di destra, è segnato il valore che la f. (e quindi la proposizione ‘non p’) assume

funzione

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 tavole di verità delle operazioni logiche che in esse compaiono.
Ciascuno dei circuiti digitali impiegati per

logici, circuiti

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 "tavole di verità" che consentano di stabilire, in maniera chiara e univoca, il valore di verità di qualsiasi frase composta (questo ricorda l'aspirazione di Leibniz a creare una "characteristica universalis

Enciclopedia Italiana - VI Appendice (2000)

Semantica

Ł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, tavole di verità 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

Enciclopedia Italiana - III Appendice (1961)

ŁUKASIEWICZ, Jan

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 di verità degli enunciati composti, in funzione dei valori di verità degli enunciati componenti, si sogliono utilizzare le cosiddette ‛tavole di verità' (a ogni connettivo ne corrisponde una distinta

Informatica

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 tavole di verità e funzioni logiche

Enciclopedia del Novecento II Supplemento (1998)

Chimica fisica dei sistemi non lineari

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 tavole di verità a più valori, rispetto alla semantica standard, che è rigidamente

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard

enunciati, linguaggio degli 

enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] sono qui riportate le tavole di verità di alcuni connettivi:





Utilizzando le tavole di verità è possibile determinare il valore di verità di una qualsiasi forma enunciativa. Nel caso dell’enunciato ￢A ∨ B la tavola di verità è la seguente:


Per

enunciati, linguaggio degli

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 ...

tàvola

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; ...