Disgiunzione logica

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Diagramma di Venn della disgiunzione logica

In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione.

Date due proposizioni e , la disgiunzione è indicata con chiamata A o B oppure chiamata A vel B; è vera solo nel caso in cui almeno una tra e è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.

La disgiunzione in algebra booleana è indicata con l'operatore OR.

Tabella della verità:

A B AB
V V V
V F V
F V V
F F F

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàLCCN (ENsh93005045 · GND (DE4378735-6 · J9U (ENHE987007532489205171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica