Disyunción

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conector binario verdad-funcional (generalmente escrito ∨) que es verdadero exactamente cuando al menos una de sus fórmulas operandas es verdadera; en lógica clásica es el 'o' inclusivo.