Flashcard FC97637
Quais são as duas equivalências lógicas de uma proposição condicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Quais são as duas equivalências lógicas de uma proposição condicional?
Mostrar resposta e comentário
Resposta
As duas equivalências lógicas são a contrapositiva e a forma de disjunção.A contrapositiva de uma proposição condicional \(p \rightarrow q\) é \(¬q \rightarrow ¬p\), que afirma que se a conclusão não for verdadeira, a premissa também não será verdadeira. A forma de disjunção é expressa como \(¬p ∨ q\), que indica que se a premissa não for verdadeira, a conclusão deve ser verdadeira.
Exemplo:
Considere a proposição "Se chove, então a grama está molhada" ( \(p \rightarrow q\) ).
- A contrapositiva seria: "Se a grama não está molhada, então não chove" ( \(¬q \rightarrow ¬p\) ).
- A forma de disjunção seria: "Não chove ou a grama está molhada" ( \(¬p ∨ q\) ).
⬇️ 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