Hipótesis (lógica)

En lógica y matemática, una hipótesis es una proposición de la que se parte para comprobar la veracidad de una tesis mediante argumentos válidos. Es decir, en la demostración de una tesis las hipótesis son el conjunto de afirmaciones adicionales que son añadidas al conjunto de axiomas, para ver si la tesis es deducible del conjunto formado por axiomas e hipótesis. Si una proposición P se sigue de un conjunto de hipótesis, escribimos:

$\{H_{1},\dots ,H_{n}\}\models P$

Un teorema es de hecho una proposición T que se sigue de los axiomas sin hipótesis adicionales lo cual se escribe como:

$\models T,\quad [{\mbox{o}}\ \varnothing \models T]$

En estadística se denomina también hipótesis a cada una de las dos proposiciones mutuamente contradictorias que se afirman en un contraste de hipótesis. La hipótesis alternativa $H_{i}\,$ contra la hipótesis nula $H_{0}\,$.