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:
- Modus Ponens
- Modus Tollens
- Tollendo Ponens y
- Ley de la Doble Negación
Resalto la importancia de la doble negación, que no se incluyó en anteriores vídeos.
1 T y Q
ResponderEliminar2 R y P
3 P y -Q
T
Cómo hacer una demostración directa de este ejercicio ?
gracias capo!!
ResponderEliminar