Flashcard FC92120
Qual é a disjunção logicamente equivalente à proposição condicional \(p \to q\)?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Qual é a disjunção logicamente equivalente à proposição condicional \(p \to q\)?
Mostrar resposta e comentário
Resposta
\(p \to q\) é equivalente a \(\neg p \lor q\).Explicação: Em lógica proposicional, \(p \to q\) é falsa somente quando \(p\) é verdadeira e \(q\) é falsa.
Assim, \(p \to q\) tem o mesmo valor lógico que \(\neg p \lor q\), que também só falha nesse caso.
Exemplo:
Seja \(p\) = "chove" e \(q\) = "levo guarda-chuva".
\(p \to q\): "Se chove, então levo guarda-chuva".
\(\neg p \lor q\): "Não chove ou levo guarda-chuva".
Tabela:
p | q | \(p\to q\) | \(\neg p\lor q\)
V | V | V | V
V | F | F | F
F | V | V | V
F | F | V | V
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83133
Conteúdo do catálogo FC Concursos · Atualizado em