Flashcard FC628318
Qual expressão é logicamente equivalente à disjunção com a primeira parcela negada \( \lnot p \lor q \)?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Qual expressão é logicamente equivalente à disjunção com a primeira parcela negada \( \lnot p \lor q \)?
Mostrar resposta e comentário
Resposta
\( \lnot p \lor q \equiv p \to q \)Explicação:
\( \lnot p \lor q\) e \(p \to q\) têm a mesma tabela-verdade, ambas são falsas apenas quando \(p\) é verdadeira e \(q\) é falsa.
exemplo:
p: 'há fumaça', q: 'o alarme tocou'.
'Não há fumaça ou o alarme tocou' \((\lnot p \lor q)\) é equivalente a 'Se há fumaça então o alarme tocou' \((p \to q)\).
Situação que torna ambas falsas: há fumaça e o alarme não tocou.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626337
Conteúdo do catálogo FC Concursos · Atualizado em