Modus Ponens and Propositional Logic Robert Macarthur 17 Feb 2024 10:35 MST