Flashcard FC918835
Por que as formas p→q, p ⊨ q e p→q, ¬q ⊨ ¬p são válidas na lógica proposicional?
Lógica de Proposições
IAUPE · 2026
Por que as formas p→q, p ⊨ q e p→q, ¬q ⊨ ¬p são válidas na lógica proposicional?
Mostrar resposta e comentário
Resposta
Essas formas são válidas porque, se as premissas forem verdadeiras, a conclusão não pode ser falsa..• Modus ponens: Forma p→q e p, em que a afirmação da antecedente implica necessariamente a conclusão q.
• Modus tollens: Forma p→q e ¬q, em que a negação do consequente implica necessariamente a negação da antecedente ¬p.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911070
Conteúdo do catálogo FC Concursos · Atualizado em