(1,0) 1 -
Uma sentença logicamente equivalente a “Se Roberto ´e carioca, então ele ´e trabalhador” ´e:
Vamos analisar cuidadosamente 👇
A sentença original é:
“Se Roberto é carioca, então ele é trabalhador.”
Em lógica proposicional:
A proposição é: [ p \rightarrow q ]
A forma logicamente equivalente a uma condicional ( p \rightarrow q ) é a contrapositiva: [ \neg q \rightarrow \neg p ] (lê-se: “Se Roberto não é trabalhador, então ele não é carioca.”)
✅ Portanto, a alternativa correta é:
a) Se Roberto não é trabalhador, então ele não é carioca.
Recuperar senha
