(1,0) 1 -
Dizer que “Roberto ´e médico ou Paulo não ´e professor” ´e logicamente equivalente a dizer que:
Vamos revisar com muito cuidado, porque esse tipo de questão de equivalência lógica costuma ter pegadinhas sutis.
“Roberto é médico ou Paulo não é professor.”
Vamos representar:
Então a frase é: [ P \lor \neg Q ]
Sabemos que: [ (\neg P) \rightarrow (\neg Q) ] é equivalente a [ P \lor \neg Q ] 💡 Isso é uma equivalência válida na lógica proposicional.
Vamos confirmar:
| P | Q | P ∨ ¬Q | ¬P → ¬Q | | :-: | :-: | :----: | :-----: | | V | V | V | V | | V | F | V | V | | F | V | F | F | | F | F | V | V |
✅ As colunas são idênticas → equivalentes.
[ \neg P \rightarrow \neg Q ] significa:
Se Roberto não é médico, então Paulo não é professor.
✅ Portanto, o gabarito (E) está CORRETO.
A proposição
“Roberto é médico ou Paulo não é professor” é logicamente equivalente a “Se Roberto não é médico, então Paulo não é professor.”
✅ Alternativa E.
Recuperar senha