Flashcard FC628331
Qual regra permite inferir ¬P a partir de (P → Q) e ¬Q?
Lógica de Proposições
NC UFPR (FUNPAR) · 2018
Qual regra permite inferir ¬P a partir de (P → Q) e ¬Q?
Mostrar resposta e comentário
Resposta
Modus tollensRegra: a partir de \( (P \to Q)\) e \(\neg Q\) conclui-se \(\neg P\).
Justificativa: um condicional verdadeiro não pode ter antecedente verdadeiro e consequente falso, portanto se o consequente é falso, o antecedente também o é.
Exemplo:
Premissas:
1) Se o carro tem combustível, então o motor liga. \((P \to Q)\)
2) O motor não liga. \((\neg Q)\)
Conclusão:
Portanto, o carro não tem combustível. \((\neg P)\)
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626350
Conteúdo do catálogo FC Concursos · Atualizado em