No se ha añadido ninguna twiki todavía.

Uno de los dos posibles resultados, junto con la verificación o confirmación, en la contrastación de hipótesis. Una hipótesis es refutada o negada cuando es incompatible o contradictoria con los hechos. Si una hipótesis se expresa como un enunciado universal, en la forma (simplificada)

[math]P\rightarrow{Q}[/math]. su negación es [math]P\wedge¬Q[/math]

La hipótesis «los líquidos son incompresibles» quedaría negada o refutada por la afirmación de un enunciado observacional tal como «existe un líquido compresible». En el procedimiento de contrastación, supuesta la hipótesis y deducida de ella una consecuencia observacional, si esta consecuencia es negada por los hechos, se produce desde el punto de vista de la lógica el siguiente modus tollens:

Si es verdad H, también lo es su consecuencia C
No es verdad C
______________________________
La hipótesis H no es verdadera


donde H sería la hipótesis citada acerca de la incompresibilidad de los líquidos, y C la observación de casos en que un líquido no es compresible.

Según Popper, no hay relación de simetría entre la verificación y la refutación: no es posible verificar una hipótesis universal, pero sí es posible refutarla La verificación de una hipótesis universal supone la comprobación imposible de una infinidad de casos que la confirman; mientras que la refutación de una hipótesis universal es posible con sólo un caso que sea su negación.