Disyunción

Forma lógica de la fórmula cuyo signo principal sea V, una disyunción.

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:

(Véase conectiva, disyunción exclusiva, función veritativa).