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
Se José é promotor, então José é o acusador dos réus.
Assim, pode-se afirmar corretamente que
