O CREF22-ES possui um sistema de protocolos sequenciais para os seus processos e adota as seguintes regras administrativas: “Se o profissional não pagar a anuidade, será suspenso”

Gabarito

Errado

Comentário do professor

Defina p = "Carlos pagou a anuidade" e q = "Carlos foi suspenso". A regra dada é: "Se o profissional não pagar a anuidade, será suspenso", isto é \( \neg p \to q\).

Quer-se concluir de q que \( \neg p\). Isso seria afirmar \(q \to \neg p\), que não é logicamente equivalente a \( \neg p \to q\). A contrapositiva correta de \( \neg p \to q\) é \( \neg q \to p\), não \(q \to \neg p\).

Portanto, o fato de Carlos estar suspenso (q verdadeiro) não permite inferir que ele deixou de pagar a anuidade; a suspensão pode decorrer de outra causa. Logo a conclusão é inválida.