martes, 26 de abril de 2011

Dos Demostraciones Directas en Inferencia Lógica (VIDEO)


Inferencias lógicas. 
Demostración directa o Prueba formal de validez


Dos ejercicios resueltos explicados paso a paso. La novedad del vídeo es que resuelvo los ejercicios sólo con 4 leyes de inferencia:

  1. Modus Ponens
  2. Modus Tollens
  3. Tollendo Ponens y
  4. Ley de la Doble Negación

Resalto la importancia de la doble negación, que no se incluyó en anteriores vídeos.



2 comentarios:

  1. 1 T y Q
    2 R y P
    3 P y -Q
    T
    Cómo hacer una demostración directa de este ejercicio ?

    ResponderEliminar

Haznos saber tu opinión. Tus comentarios nos ayudan a continuar y mejorar el mejorar el contenido de este sitio. No use palabras inadecuadas al comentar o lo bloquearemos.