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
