martes, 22 de marzo de 2011

SILOGISMO DISYUNTIVO

En lógica, el silogismo disyuntivo es una forma válida de argumento:


es el caso que A, o es el caso que B
No A
Por lo tanto, B
o exclusivo:
O es el caso que A, o es el caso que B
No A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podría ser:
O es de día o es de noche.
No es de día.
Por lo tanto, es de noche.
Otra manera de presentar el silogismo disyuntivo es:

   \begin{array}{r}
      A \or B \\
      \neg A  \\
      \hline
      B
   \end{array}
Tomado de : http://es.wikipedia.org/wiki/Silogismo_disyuntivo

No hay comentarios:

Publicar un comentario