Una disyunción (inclusiva) es una función de verdad que es verdadera cuando alguno de sus componentes es verdadero, y falsa cuando sus dos componentes son falsos.
También se llama “disyuntor” a
la conectiva que representa dicha función de verdad y cuyo símbolo
es "
".
También
se denomina “disyunción” al
enunciado molecular en el que la conectiva dominante es una disyunción.
La disyunción inclusiva se define por la siguiente tabla de verdad:
| q
|
||
