Validando una Inferencia Lógica (VIDEO)

Últimamente me plantearon el ejercicio de demostrar una inferencia. Pero aquí veremos que no se debe demostrar la inferencia hasta que se tenga la seguridad de que se haya validado dicha inferencia con la Prueba Formal de Invalidez o Método Abreviado, el mismo que se ha mencionado en el vídeo parte 7.
Queda abierta cualquier duda al respecto, pueden formular más preguntas si desean.

- Mat. Salomón Ching -
APORTES MATEMÁTICOS

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.

Video Repaso de la Guía de Lógica Inferencial

Habiendo hecho una guía de aprendizaje de Logica Inferencial, pensé que sería bueno colgar videos explicativa de la misma. Ya estoy casi por terminar, en la próxima semana estaré colgando más ejercicios resueltos sobre método directo e indirecto, en vídeo claro está.

Guía de Lógica Inferencial

Después de poco más de un mes he terminado de elaborar, usando la clase Beamer de Latex, una guía teórica de Inferencia lógica. Las inferencias aquí se refiere a razonamientos deductivos en general. La última novedad que le agregué es enlaces a una serie de video resúmenes con gran calidad y efectos para maximizar la claridad de exposición (ver dentro del documento: diapositivas 'video resumen'). encontraremos aquí algunos conceptos y modus operandi de las reglas de validación. Se agradece su gentil opinión al respecto.
Logica_Inferencial