Questão FC626335
Qual das afirmações abaixo é logicamente equivalente à proposição “Você pode se conformar com isso ou lutar para realizar seus sonhos”?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Qual das afirmações abaixo é logicamente equivalente à proposição “Você pode se conformar com isso ou lutar para realizar seus sonhos”?
- Você não pode se conformar com isso e deve lutar para realizar seus sonhos.
- Você pode lutar para realizar seus sonhos e não se conformar com isso.
- Se você não pode se conformar com isso, então pode lutar para realizar seus sonhos.
- Se você pode lutar para realizar seus sonhos, então não pode se conformar com isso.
- Se você pode se conformar com isso, então não pode lutar para realizar seus sonhos.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Temos a proposição original como uma disjunção inclusiva: \(a \lor b\), onde a = "você pode se conformar com isso" e b = "você pode lutar para realizar seus sonhos".
Sabemos que um condicional satisfaz \(p \to q \equiv \lnot p \lor q\). Tomando \(p = \lnot a\) e \(q = b\), obtemos \(\lnot(\lnot a) \lor b\), que é exatamente \(a \lor b\).
Portanto \(a \lor b\) é logicamente equivalente a \(\lnot a \to b\). Em linguagem natural isso diz: "Se você não pode se conformar com isso, então pode lutar para realizar seus sonhos."
Essa equivalência justifica a alternativa correta (C).
Conteúdo do catálogo FC Concursos · Atualizado em