En las proposiciones condicionales "si p entonces q", a la proposición p se le llama la hipótesis y a q la conclusión. En las demostraciones directas, la hipótesis p es el punto de partida para el argumento deductivo que lleva a la conclusión q. En este uso matemático y lógico, la hipótesis es sinónomo de premisa. En el uso no matemático del término, "hipótesis" es una posible explicación de un fenómeno.