About 61 results found. (Query 0.7736 seconds)
first to explicitly describe the argument form modus ponens was Theophrastus, along with modus tollens . (Bobzien, Susanne, 2020) In propositional logic, also called as implication elimination . \[\frac{\phi\quad\phi\to\psi}{\psi}\to...