Questão de Raciocínio Lógico · FCC TRT-20 2016 (nº 17)

A equivalência lógica significa que duas proposições, mesmo com palavras diferentes, têm o mesmo valor de verdade em todas as situações possíveis. Para uma proposição condicional "se P, então Q" ($P \rightarrow Q$), a sua contrapositiva "se não Q, então não P" ($\neg Q \rightarrow \neg P$) é sempre logicamente equivalente.

• (A) Incorreta: A proposição "P ou Q" não é equivalente a "se P, então Q".
• (B) Incorreta: Esta é a inversa ("se não P, então não Q"), que não é logicamente equivalente à proposição original. A armadilha é que ela nega ambas as partes, mas não inverte a ordem, o que a torna diferente da contrapositiva.
• (C) Correta: Esta é a contrapositiva da proposição original. Se a proposição original é "se tem OAB (P), então é advogado (Q)", sua contrapositiva é "se não é advogado (não Q), então não tem OAB (não P)". Ambas as formas são logicamente equivalentes, ou seja, se uma é verdadeira, a outra também é, e vice-versa.
• (D) Incorreta: Uma conjunção ("e") não é equivalente a uma proposição condicional.
• (E) Incorreta: Esta é a recíproca ("se Q, então P"), que não é logicamente equivalente à proposição original.