Em uma implicação do tipo “Se A, então B”, dizemos que A é o antecedente e B é o consequente. Considere a seguinte implicação:

Se José é promotor, então José é o acusador dos réus.

Assim, pode-se afirmar corretamente que