Refutación
La
refutación es un enunciado, una afirmación, que tiene la siguiente estructura lógica : A partir de una Hipótesis (=H) se pueden inferir Conclusiones (=C) y si estas Conclusiones no se dan ( ¬C) entonces la Hipótesis tampoco se da ( ¬H) Como ejemplo:
Hipótesis (H): "todos los cisnes son blancos" y "en mi jardín hay ahora un cisne" esto implica
Conclusión (C): "El cisne en mi jardín es blanco" y afirmo
No Conclusión (¬C) : "El cisne en mi jardín es negro" esto implica
No Hipótesis (¬H) : "
no todos los cisnes son blancos" En la nomenclatura de la lógica proposicional : H = Hipótesis, premisa, teoría, conjetura,... C = Conclusión, predicción, enunciado básico, instancia refutadora,...
La refutación es una tautología. demostrado por la columna de la última implicación, en la que
todos los valores son
verdaderos.
Las conclusiones Falsas no pueden destruir una afirmación refutadora. En las lineas
2 y
4 las conclusiones son Falsas y sin embargo, la afirmación como un todo sigue siendo
verdadera.