Flashcard FC302848
Qual é a forma logicamente equivalente a p→q em termos de disjunção e negação?
Lógica de Proposições
FGV · 2021
Qual é a forma logicamente equivalente a p→q em termos de disjunção e negação?
Mostrar resposta e comentário
Resposta
\(\neg p \lor q\)Explicação:
\(p\to q\) é logicamente equivalente a \(\neg p\lor q\).
Isso decorre da equivalência padrão entre condicional e disjunção: \(p\to q \equiv \neg p \lor q\).
Exemplo:
Frase: "Se não há energia então uso gerador".
Formalizando: seja \(p\) = "há energia" e \(q\) = "uso gerador".
Então \((\neg p)\to q = \neg(\neg p)\lor q = p\lor q\).
Em linguagem natural: "Há energia ou uso gerador."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299938
Conteúdo do catálogo FC Concursos · Atualizado em