El uso de las diez inferencias del Sistema de Deducción Natural prueba las leyes de DeMorgan . Las reglas de la deducción natural Introducción a la negación: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminación de negación: {(¬P → Q), (¬P → ¬Q)} ⊢ P E Introducción: {P, Q} ⊢ P ʌ Q Y eliminación: P ʌ Q ⊢ {P, Q} O...