How do I prove this theorem using deductive equation-based proof or extended equation-based proof?
16.14 a· | b ∧ a· | c ⇒ a· | (b + c) , I try two days and i got nothing
u/MiserableAssociate10 — 5 days ago
16.14 a· | b ∧ a· | c ⇒ a· | (b + c) , I try two days and i got nothing