Questão FC509359
De acordo com a lógica proposicional, a negação da frase “O advogado não foi convincente e a petição foi cancelada”
Lógica de Proposições
IBFC · 2017
De acordo com a lógica proposicional, a negação da frase “O advogado não foi convincente e a petição foi cancelada”
- Se o advogado foi convincente, então a petição não foi cancelada
- Se o advogado não foi convincente, então a petição não foi cancelada
- O advogado não foi convincente se, e somente se, a petição não foi cancelada
- Se a petição não foi cancelada, então o advogado foi convincente
- Se a petição foi cancelada, então o advogado não foi convincente
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
“O advogado não foi convincente e a petição foi cancelada” é uma conjunção que se representa por \( \lnot a \land b \).
Definindo: a: o advogado foi convincente.
b: a petição foi cancelada.
Aplicando a Lei de Morgan para negar a conjunção: \( \lnot(\lnot a \land b) \equiv a \lor \lnot b\).
Sabendo que \(p \to q\) é equivalente a \( \lnot p \lor q\), reescrevemos \(a \lor \lnot b\) como \( \lnot a \to \lnot b\).
Em linguagem natural, isso corresponde precisamente a: Se o advogado não foi convincente, então a petição não foi cancelada, justificando a alternativa correta.
Conteúdo do catálogo FC Concursos · Atualizado em