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:
| p | q | p∨q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
(v. conectiva, disyunción exclusiva, función veritativa)
Referencias en el texto: