fbf (enunciado) de la forma "A ∨ B": Dilema disyuntivo es la forma del argumento: si A ⊦ C, B ⊦ C, entonces A ∨ B ⊦ C.
(Haack, 1978).
En lógica formal, una disyunción lógica (∨) (específicamente, una disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta falso syss ambas proposiciones son falsas, y verdadero de cualquier otra forma.
Existen diferentes contextos donde se utiliza la disyunción lógica. En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica. Se debe distinguir entre el "o" inclusivo y el "o" exclusivo. La noción equivalente en la teoría de conjuntos es la unión (∪). En álgebra Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo de más (+).
(Wikipedia).