Disgiunzione logica
Vai alla navigazione
Vai alla ricerca
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/220px-Venn0111.svg.png)
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.
A | B | AB |
---|---|---|
V | V | V |
V | F | V |
F | V | V |
F | F | F |
Proprietà
[modifica | modifica wikitesto]- Proprietà di idempotenza:
- Proprietà commutativa:
- Proprietà associativa:
- Proprietà distributiva (rispetto alla congiunzione logica):
- Teorema dell'assorbimento (rispetto alla congiunzione logica):
- Legge di De Morgan
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]Wikizionario contiene il lemma di dizionario «or»
Wikimedia Commons contiene immagini o altri file sulla disgiunzione logica
Collegamenti esterni
[modifica | modifica wikitesto]- Disgiunzione, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Disgiunzione, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
- Disgiunzione, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
- OR (informatica), su sapere.it, De Agostini.
- Disgiunzione, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Maria Aloni, Disjunction, su Stanford Encyclopedia of Philosophy.
- (EN) Eric W. Weisstein, Disjunction, su MathWorld, Wolfram Research.
- (EN) Disjunction, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- (EN) Denis Howe, OR, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
Controllo di autorità | LCCN (EN) sh93005045 · GND (DE) 4378735-6 · J9U (EN, HE) 987007532489205171 |
---|