Flashcard FC628325
Qual condicional é logicamente equivalente à disjunção p ∨ q?
Lógica de Proposições
NC UFPR (FUNPAR) · 2015
Qual condicional é logicamente equivalente à disjunção p ∨ q?
Mostrar resposta e comentário
Resposta
\( \neg p \to q\)Explicação:
Temos \(p \vee q \equiv \neg p \to q\), que se lê "se não p então q", e por contraposição \( \neg q \to p\), que é logicamente equivalente à original.
exemplo:
Seja p = "a porta está aberta" e q = "o sensor foi acionado".
Então \(p \vee q\) equivale a \( \neg p \to q\).
Leitura: "se a porta não está aberta, então o sensor foi acionado".
Contraposição: \( \neg q \to p\), "se o sensor não foi acionado, então a porta está aberta".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626344
Conteúdo do catálogo FC Concursos · Atualizado em