The basics of symbolic formal logic as a useful tool for legislative counsel

Article by @MatthewWaddington starts at page 56 of
Loophole - 2021-02 (2021-10-26).pdf (calc.ngo), and provides a friendly introduction to propositional logic, model deontic logic, Hoefeldian logic, and their applicability to problems in legislative drafting.