Flashcard FC831481
Qual é a contrapositiva de uma implicação p → q e ela é logicamente equivalente à original?
Lógica de Proposições
SELECON · 2024
Qual é a contrapositiva de uma implicação p → q e ela é logicamente equivalente à original?
Mostrar resposta e comentário
Resposta
¬q → ¬p.Explicação: A contrapositiva de p → q obtém-se negando e invertendo antecedente e consequente, ficando ¬q → ¬p, e é logicamente equivalente à forma original porque ambas têm a mesma forma disjuntiva.
\(p\to q\equiv \neg p\lor q\) e \( \neg q\to\neg p\equiv q\lor\neg p\), expressões que são equivalentes por comutatividade.
exemplo:
Proposição: Se faz sol, então a praça está aberta.
Contrapositiva: Se a praça não está aberta, então não faz sol.
Raciocínio: a ausência da praça aberta implica que a condição necessária (fazer sol) não ocorre, assim conclui-se que não faz sol.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/828967
Conteúdo do catálogo FC Concursos · Atualizado em