Hipòtesis (llògica)

En llògica matemàtica una hipòtesis és una fòrmula de la que es partix per a alcançar finalment una atra fòrmula per mig de deduccions vàlides. És dir, en la demostració d'una fòrmula, les hipòtesis són el conjunt d'afirmacions adicionals que s'afigen al conjunt d'axiomas. Després s'apliquen regles d'inferència per a determinar si la fòrmula és deduible del conjunt format per axioma i hipòtesis. Quan una fòrmula A se seguix deductivamente d'un conjunt d'hipòtesis H₁,...,H_n, en un sistema de axioma i regles d'inferència S, escrivim:

$H_1,\dots ,H_n{⊢}_{S}A$

Un teorema és una fòrmula que se seguix dels axioma sense hipòtesis adicionals, la qual cosa s'escriu formalment:

$\varnothing ⊢A$

O simplement:

$⊢A$

En matemàtica una hipòtesis és una conjectura.

En estadística també es diu hipòtesis a qualsevol afirmació o conjectura que determina, total o parcialment, la distribució d'una o vàries variables de la població estudiada.