Flashcard FC628346
Qual é a contrapositiva logicamente equivalente de uma implicação \(p \to q\)?
Lógica de Proposições
NC UFPR (FUNPAR) · 2018
Qual é a contrapositiva logicamente equivalente de uma implicação \(p \to q\)?
Mostrar resposta e comentário
Resposta
A contrapositiva é \( \neg q \to \neg p\).Explicação: A contrapositiva de \(p \to q\) é obtida negando e invertendo as posições das proposições, ela é logicamente equivalente à implicação original, portanto afirmar \(p \to q\) implica também afirmar \(\neg q \to \neg p\).
exemplo:
Enunciado: "Nenhum peixe é mamífero".
Formalização: seja \(p\) = "é peixe", \(q\) = "não é mamífero", então a frase corresponde a \(p \to q\).
A contrapositiva é \(\neg q \to \neg p\), isto é, "se é mamífero então não é peixe".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626365
Conteúdo do catálogo FC Concursos · Atualizado em