De_Morgans_Laws_Logic_v2
Provedproofwikiretry
De Morgan's laws for propositional logic.
Formal statement
theorem De_Morgans_Laws_Logic_v2 (p q : Prop) : (¬(p ∨ q) ↔ (¬p ∧ ¬q)) ∧ (¬(p ∧ q) ↔ (¬p ∨ ¬q)) := by sorry
De Morgan's laws for propositional logic.
theorem De_Morgans_Laws_Logic_v2 (p q : Prop) : (¬(p ∨ q) ↔ (¬p ∧ ¬q)) ∧ (¬(p ∧ q) ↔ (¬p ∨ ¬q)) := by sorry