Usando as dez inferências do Sistema de Dedução Natural, comprova as leis de DeMorgan . As regras da dedução natural Introdução à Negação: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminação de Negação: {(¬P → Q), (¬P → ¬Q)} ⊢ P E Introdução: {P, Q} ⊢ P ʌ Q E eliminação: P ʌ Q ⊢ {P, Q} Ou Introdução: P ⊢ {(P ∨...