En matemáticas, una disyunción lógica, es un operador lógico que resulta verdadero si cualquiera de los operadores es verdadero. Es un enunciado con dos o más elementos optativos.
Las disyunciones de las proposiciones simples p v q ( que se lee: ” p o q”) es falsa si ambas proposiciones son falsas. El operador lógico disyunción también se denomina OR y representa la suma lógica.
EJEMPLO:
Si p es la proposición ” es un número primo” y q es ” 12 es divisible entre 3″, entonces se pueden formar las proposiciones compuestas:
p^q: ” 3 es un número primo y 12 es divisible entre 3″
pvq: ” 3 en un número primo o 12 es divisible entre 3″
