sábado, 4 de diciembre de 2010

Silogismo Disyuntivo

El Silogismo Disyuntivo (DS), es una forma válida de argumento que dice:
si A implica B
si C implica D
se cumple A o C
entonces B o D
Otra manera de presentar el silogismo disyuntivo es:

   \begin{array}{r}
      A \rightarrow B \\
      C \rightarrow D\\
      A \or C \\
      \hline
      B \or D
   \end{array}

No hay comentarios:

Publicar un comentario en la entrada