Disyunciones

Una disyunción lógica (${\displaystyle \lor }$) entre dos proposiciones es un conector lógico, cuyo valor de verdad resulta en falso solo si ambas proposiciones son falsas y en cierto de cualquier otra forma.

En lenguajes formales la palabra "O" se utiliza para simbolizar una disyunción lógica.

En la teoría de conjuntos se utiliza la unión. 

$$
{\displaystyle \cup }