Questão FC509361
De acordo com a lógica proposicional, a negação da frase “Se a lei foi cumprida, então o réu não foi solto” é equivalente a:
Lógica de Proposições
IBFC · 2017
De acordo com a lógica proposicional, a negação da frase “Se a lei foi cumprida, então o réu não foi solto” é equivalente a:
- A lei não foi cumprida ou o réu foi solto
- A lei não foi cumprida e o réu não foi solto
- A lei foi cumprida e o réu foi solto
- Se o réu foi solto, então a lei não foi cumprida
- A lei foi cumprida se, e somente se, o réu foi solto
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
“Se a lei foi cumprida, então o réu não foi solto” pode ser simbolizada por \(p \rightarrow \neg q\), onde \(p\) = a lei foi cumprida e \(q\) = o réu foi solto.
A regra para a negação de um condicional é: mantenha o antecedente e negue o consequente. Assim temos \(\neg(p \rightarrow \neg q)\).
Negando o consequente \(\neg q\) obtemos a dupla negação \(\neg(\neg q)\), que equivale a \(q\).
Portanto \(\neg(p \rightarrow \neg q)\equiv p \land q\), que em linguagem natural é: A lei foi cumprida e o réu foi solto.
Conteúdo do catálogo FC Concursos · Atualizado em