Talk:Formal Logic/Sentential Logic/Subderivations and Discharge Rules

Move examples after rules
This page is pretty confusing, on first read, because of the examples coming before the rules are explained. I think it would help the clarity a lot if they were switched around. The-erinaceous-one (discuss • contribs) 10:24, 23 June 2021 (UTC)