Die zehn Schlussfolgerungen des Natural Deduction Systems beweisen die Gesetze von DeMorgan . Die Regeln des natürlichen Abzugs Verneinung Einführung: {(P → Q), (P → ¬Q)} ⊢ ¬P Verneinung-Beseitigung: {(¬P → Q), (¬P → ¬Q)} ⊢ P Und Einführung: {P, Q} ⊢ P ʌ Q Und Beseitigung: P ʌ Q ⊢ {P, Q} Oder...