La tautología conocida como Modus Tollens adquiere la siguiente forma de ley lógica:
[(p
q)
¬q]¬p
q)¬q]¬p
que, traducido al lenguaje natural sería algo así como si p implica q, y q es falso, entonces p también debe ser falso.
Sea p:"hago mucho deporte", y q:"estoy cansado", según este esquema tautológico:
"Si hago mucho deporte, entonces estoy cansado, y no es cierto que estoy cansado, por lo que no hago mucho deporte
No hay comentarios:
Publicar un comentario