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 }