Flashcard FC558346
O que expressam a regra da adição e o modus tollens?
Lógica de Proposições
Ápice · 2025
O que expressam a regra da adição e o modus tollens?
Mostrar resposta e comentário
Resposta
A regra da adição permite inferir p ∨ q a partir de p, e o modus tollens permite inferir ¬p a partir de p → q e ¬q.
• Regra da adição: a partir de uma proposição p pode-se inferir p ∨ q, porque a disjunção é verdadeira se ao menos um dos termos for verdadeiro e conhecer que p é verdadeiro basta para concluir que p ∨ q é verdadeiro, qualquer que seja q.
• Modus tollens: dadas as premissas p → q e ¬q conclui-se ¬p, pois se p implicaria q e q é falso então p não pode ser verdadeiro, alternativamente escrevendo a contrapositiva ¬q → ¬p e aplicando modus ponens com ¬q obtém-se ¬p.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546122
Conteúdo do catálogo FC Concursos · Atualizado em