Para justificar a utilização de demonstrações por contraposição, devemos considerar a equivalência tautológica que afirma que a negação da conclusão implica na negação da premissa. Analisando as opções: a. (P → Q) ↔ (P' → Q') - Esta não é a equivalência tautológica que justifica a contraposição. b. (Q → P) ↔ (P → Q) - Esta não é a equivalência tautológica que justifica a contraposição. c. (P ∧ Q') → 0 → (P → Q) - Esta não é a equivalência tautológica que justifica a contraposição. d. (P ∨ Q') → 0 → (P → Q) - Esta não é a equivalência tautológica que justifica a contraposição. e. (P → Q) ↔ (Q' → P') - Esta é a equivalência tautológica que justifica a utilização de demonstrações por contraposição. Portanto, a alternativa correta é a letra e: (P → Q) ↔ (Q' → P').
Para escrever sua resposta aqui, entre ou crie uma conta
Princípios de Processos Químicos
•UNIUBE
Compartilhar