4.6 Introducción de la disyunción

La disyunción (que es la o) es muy fácil pero no es obvia:

$$\begin{fitch*} \par n & A \\ \par \hline \par & A \vee B & I$\vee$\ n \par \end{fitch*}$$

Bueno, para ser exacto, diré que también está con el otro orden:

$$\begin{fitch*} \par n & A \\ \par \hline \par & B \vee A & I$\vee$\ n \par \end{fitch*}$$

¿Qué bonito, no? Si sabemos que ``hoy es jueves'' también sabemos que ``hoy es jueves o las vacas vuelan'', ``hoy es jueves o viernes'', o incluso ``hoy es jueves... o no''. Todas son ciertas.

Recuerda que, al hablar, se usa casi siempre el o exclusivo (XOR), que se cumple si uno de los disyuntandos es cierto pero no cuando los dos lo son a la vez. Para un lógico, la frase común ``hoy es jueves o viernes'' se cumple en tres casos: cuando hoy es jueves, cuando hoy es viernes, y cuando hoy es jueves y viernes a la vez (algo difícil en el mundo real, pero los matemáticos son capaces de hacer todo tipo de suposiciones...).