Si en una implicación se llama H a la hipótesis y T a la tesis, H —> T recibe el nombre de teorema directo, y expresa que H es condición suficiente de T, o bien que T es una condición necesaria para H.