Menggunakan sepuluh kesimpulan dari Sistem Deduksi Alami membuktikan hukum DeMorgan . Aturan Pengurangan Alam Pendahuluan Negasi: {(P → Q), (P → ¬Q)} ⊢ ¬P Penghapusan Negasi: {(¬P → Q), (¬P → ¬Q)} ⊢ P Dan Pendahuluan: {P, Q} ⊢ P ʌ Q Dan Eliminasi: P ʌ Q ⊢ {P, Q} Atau Pendahuluan: P ⊢ {(P ∨ Q),(Q...