funzione logica
funzione logica detta anche funzione diverità oppure → funzione booleana, associa a uno o più valori diverità in ingresso (vero V e falso F) un solo valore diverità in uscita. Un esempio [...] 2(2n) funzioni logiche distinte. È possibile definire una funzione logica a partire da un enunciato e dalla sua tavoladiverità. Viceversa, data una qualsiasi funzione logica, esiste un enunciato a essa associato. Tale risultato è dovuto al logico E ...
Leggi Tutto
and
and uno degli operatori logici fondamentali dell’algebra di → Boole, detto anche prodotto logico e indicato con ×. Corrisponde al connettivo ∧ della congiunzione che, dati due enunciati A e B, ne [...] B, che è vero solo nel caso in cui sia A sia B siano veri ed è falso in tutti gli altri casi. La tavoladiverità che esprime la funzione logica dell’operatore and è quindi la seguente (a e b indicano due qualsiasi espressioni booleane; 0 può essere ...
Leggi Tutto
or
or uno degli operatori logici fondamentali dell’ algebra di → Boole, detto anche somma logica e indicato con +. Corrisponde al connettivo ∨ della → disgiunzione. Tale operatore binario, dati due enunciati [...] è vero se almeno uno dei due enunciati è vero ed è falso nel caso in cui sia A sia B siano falsi. La tavoladiverità che esprime l’azione dell’operatore or è quindi la seguente:
L’operatore or gode della proprietà associativa e, per estensione, la ...
Leggi Tutto
not
not uno degli operatori logici fondamentali dell’algebra di → Boole, anche denominato complemento. Corrisponde, in logica, al connettivo della negazione indicato con il simbolo ￢. Esso associa a [...] sia falso e, viceversa, è falso nel caso in cui A sia vero. La tavoladiverità che esprime l’azione del connettivo ￢ è, quindi, la seguente:
tab
Nell’algebra di Boole, l’operatore not è anche indicato soprassegnando l’espressione a cui si riferisce ...
Leggi Tutto
doppia negazione
doppia negazione in logica, applicazione, effettuata due volte, del connettivo della negazione, indicato dal simbolo ￢ (si legge «non»), a una formula A in modo da ottenere la formula [...] non c’è nessuno» ha un significato di negazione pur contenendo due negazioni. L’equivalenza logica fra la formula A e la formula ￢￢A corrisponde al fatto che le due formule hanno lo stesso valore diverità, come si vede anche dalla tavoladiverità: ...
Leggi Tutto
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavoladiverità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un elemento che non gode di quella proprietà non ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebra booleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavoladiverità. ...
Leggi Tutto
NOR
NOR [Comp. dei termini ingl. n(ot) "non" e or "oppure", usato in it. come s.m. invar.] [ELT] Denomin., di uso internazionale, della negazione della somma logica OR (v. circuiti logici: I 618 c) e [...] del circuito elettronico logico che la realizza (circuito, o porta, NOR: v. circuiti logici: I 619 f). La fig. mostra il simb. della porta NOR e la tavoladiverità della funzione NOR. ...
Leggi Tutto
NOT
NOT 〈nòt〉 [avv. sostantivato ingl. "no" usato in it. come s.m. invar.] [ELT] Denomin., di uso internazionale, dell'operazione logica di negazione, o inversione, indicata con la sopralineatura (l'operazione [...] NOT applicata all'elemento A dà A- ): v. circuiti logici: I 618 e. La fig. mostra il simb. della porta logica che realizza l'operazione NOT e la tavoladiveritàdi questa. ...
Leggi Tutto
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] logica matematica, t. diverità (o tabella diverità) di un connettivo, tabella schematica che permette di stabilire se una proposizione velocità di caduta si raccolgono nei canali e sono successivamente scaricati per effetto del moto della tavola. ...
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;...