En
lógica matemática una
hipótesis es una
fórmula de la que se parte para alcanzar finalmente otra fórmula mediante deducciones (deduciendo)
válidas. Es decir, en la demostración de una fórmula, las hipótesis son el conjunto de afirmaciones adicionales que son añadidas al conjunto de
axiomas, para determinar si la fórmula es deducible del conjunto formado por axiomas e hipótesis mediante la aplicación de
reglas de inferencia. Cuando una fórmula
A se sigue deductivamente de un conjunto de hipótesis
H1,...,
Hn, en un
sistema de axiomas y reglas de inferencia S, escribimos:
Un
teorema es una fórmula que se sigue de los axiomas sin hipótesis adicionales, lo cual se escribe
formalmente:
O simplemente:
En
matemática una hipótesis es una
conjetura. En
estadística también se llama hipótesis a cada una de las dos proposiciones mutuamente contradictorias que se afirman en un
contraste de hipótesis. La hipótesis alternativa
Hi contra la
hipótesis nula H0.