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
maxtermine
maxtermine prodotto di somme di una tavoladiverità relativa a una funzione booleana. Si considerano le righe corrispondenti al valore della funzione uguale a 0; a ciascuna di esse corrisponde [...] un maxtermine costituito dalla somma logica di tutte le variabili in ingresso, prese in forma diretta se valgono 0 e in forma negata se valgono 1. Ogni espressione booleana può essere espressa come prodotto dei maxtermini relativi alle configurazioni ...
Leggi Tutto
mintermine
mintermine somma di prodotti di una tavoladiverità relativa a una funzione booleana. Si considerano le righe corrispondenti al valore della funzione uguale a 1; a ciascuna di esse corrisponde [...] un mintermine costituito dal prodotto logico di tutte le variabili in ingresso, prese in forma diretta se valgono 1 e in forma negata se valgono 0. Ogni espressione booleana può essere espressa come somma dei mintermini relativi alle configurazioni ...
Leggi Tutto
verita, funzione diverità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori diverità (per esempio VVFVFVVVF), uno dei due valori [...] o F. Ogni tavoladiverità definisce una funzione diverità; per esempio la tavoladiverità associata al connettivo ∨ della disgiunzione definisce la funzione disg seguente:
Viceversa a ogni funzione diverità è associata una tavoladiverità. Le ...
Leggi Tutto
veritaverità [Der. del lat. veritas -atis, da verus "vero"] Tavoladi v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] : I 85 f. (b) [ALG] [ELT] [FAF] Nella logica proposizionale, quadro dei valori di v. (v. oltre) assumibili da una funzione in corrispondenza ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente ...
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 e informatica, circuito logico atto a eseguire l’operazione aritmetica di addizione tra due numeri espressi in forma binaria (talora decimale). Poiché anche le altre operazioni aritmetiche [...] dei bit precedenti e devono essere generati contemporaneamente sia la loro somma (si), sia il nuovo riporto (ci), secondo una tavoladiverità (fig. B). L’a. binario in parallelo è semplicemente costituito connettendo in cascata tra loro più a., con ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] H, mentre non lo sono J, Y e L. Quindi H è soddisfacibile, ma non valida. Con le rispettive tavolediverità si verifica subito che ogni assioma e ogni teorema è valido.
Logica dei predicati del prim'ordine. - Linguaggio del prim'ordine. - Alfabeto ...
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
negazione
negazione connettivo logico, corrispondente nel linguaggio naturale all’avverbio «non», e indicato con il simbolo ¬ (a volte anche con il simbolo ∼). La negazione di un enunciato A si ottiene [...] caso, allora ¬A è falso; viceversa, se A è falso, allora ¬A è vero. La tavoladiverità del connettivo della negazione è, quindi, la seguente:
Come è evidente dalla tavola, l’enunciato A e la sua negazione ¬A non possono avere lo stesso valore ...
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;...