Flashcard FC76817
Qual é a forma disjuntiva equivalente a \(p \rightarrow q\)?
Lógica de Proposições
VUNESP · 2024
Qual é a forma disjuntiva equivalente a \(p \rightarrow q\)?
Mostrar resposta e comentário
Resposta
\( \lnot p \lor q \)Porque a condicional \(p \rightarrow q\) é logicamente equivalente à disjunção \( \lnot p \lor q\), mantendo o mesmo valor de verdade em todas as situações.
Também a contrapositiva \( \lnot q \rightarrow \lnot p\) é equivalente à condicional.
Exemplo:
Proposição: 'Se houver falta de energia, então as luzes apagam.'
Tomando \(p\) = 'há falta de energia' e \(q\) = 'as luzes apagam', a forma disjuntiva corresponde a
\( \lnot p \lor q\), que se lê 'não há falta de energia ou as luzes apagam'.
Essa reescrita preserva os mesmos valores de verdade da condicional original.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/76608
Conteúdo do catálogo FC Concursos · Atualizado em