2.4.2: Propositional Rules Last updated Save as PDF Page ID 121682 Richard Zach et al. Open Logic Project Rules for \(\lnot\) Rules for \(\land\) Rules for \(\lor\) Rules for \(\lif\)