Suponha que seja válida a seguinte proposição P. P: “Se em 2024 a Lei 1 for revogada ou a Lei 2 for aprovada, então Felipe se aposentará em 2025.” Considerando que a aprovação da L

Gabarito

Errado

Comentário do professor

A afirmação foi julgada **ERRADO** porque tenta inverter a implicação. De \( (a\lor b)\to c \) não se segue \( c\to (a\lor b) \). A implicação original garante apenas que, se em 2024 a Lei 1 foi revogada ou a Lei 2 foi aprovada, então Felipe se aposenta em 2025, isso é, se \(a\lor b\) for verdadeiro, então \(c\) será verdadeiro.

O único equivalente lógica é a **contrapositiva**, não o converso, ou seja \( (a\lor b)\to c \) equivale a \( \neg c \to \neg(a\lor b) \). Não vale inverter a seta, portanto não é permitido deduzir \(c\to(a\lor b)\).

Um contrexemplo simples mostra a falha: suponha \(a=false\), \(b=false\) e \(c=true\). Então \( (a\lor b)\to c \) é verdadeira, mas \( c\to(a\lor b) \) é falsa, logo não se pode afirmar que em 2024 ocorreu a revogação ou aprovação supostas.