En lógica proporcional , el 'modus tollens' o también negación del consecuente) (en latín significa "el camino que niega al negar")es forma de argumento válido y una regla de inferencia
Los primeros en declarar explícitamente la forma de argumento modus tollens fueron los estoicos.
La regla de inferencia modus tollens, también conocida como la ley de la contraposición, valida la forma de inferencia 
La regla modus tollens se puede afirmar formalmente como:
No hay comentarios:
Publicar un comentario