Considere a frase popular: “Quem não deve, não teme” Uma frase logicamente equivalente é

Gabarito

Certo

Comentário do professor

Seja p = "deve" e q = "teme". A frase “Quem não deve, não teme” pode ser escrita logicamente como \( \neg p \to \neg q\).

Pela regra da contrapositiva, uma implicação é equivalente àquela em que negamos e invertimos antecedente e consequente. Aplicando-a obtemos \( \neg p \to \neg q \equiv q \to p\).

Interpretando \(q \to p\) em linguagem natural, chega-se a “Quem teme, deve”. Logo, a alternativa correta reproduz exatamente a contrapositiva da frase dada, preservando o mesmo valor lógico.