Flashcard FC264933
Como transformar uma condicional p → q em uma disjunção equivalente?
Lógica de Proposições
IDECAN · 2021
Como transformar uma condicional p → q em uma disjunção equivalente?
Mostrar resposta e comentário
Resposta
\(p \to q \equiv \neg p \lor q\)A condicional é verdadeira sempre que o antecedente for falso ou o consequente for verdadeiro; a "ou" é inclusiva.
Portanto, substituir \(p \to q\) por \(\neg p \lor q\) preserva o valor lógico.
Exemplo:
Seja \(p=\) "é fim de semana" e \(q=\) "há feira".
\(p \to q\) equivale a \(\neg p \lor q\).
Casos:
- p verdadeiro, q verdadeiro: \(\neg p \lor q = F \lor T = T\).
- p verdadeiro, q falso: \(\neg p \lor q = F \lor F = F\).
- p falso, q verdadeiro: \(\neg p \lor q = T \lor T = T\).
- p falso, q falso: \(\neg p \lor q = T \lor F = T\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Negação e Leis de Morgan
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262295
Conteúdo do catálogo FC Concursos · Atualizado em