Se plantea una proposición, en la forma si p entonces q, donde p se denomina hipótesis (condición suficiente) y q, se llama tesis o conclusión ( condición necesaria).