Considere a sentença: “Se Juvenal foi trabalhar, então Rosalva não saiu de casa”. É correto concluir que

Gabarito

Errado

Comentário do professor

Partindo da condicional dada — “Se Juvenal foi trabalhar, então Rosalva não saiu de casa” — a frase indicada é a contrapositiva desse condicional.

Em lógica, para \(p \to q\) a contrapositiva é \( \neg q \to \neg p\), e ela é logicamente equivalente ao condicional original (sempre tem o mesmo valor de verdade).

Tomando \(p\): “Juvenal foi trabalhar” e \(q\): “Rosalva não saiu de casa”, temos \( \neg q\): “Rosalva saiu de casa” e \( \neg p\): “Juvenal não foi trabalhar”.

Assim a contrapositiva fica: “Se Rosalva saiu de casa, então Juvenal não foi trabalhar”, que é exatamente a conclusão correta, por equivalência lógica.