Category:Modus Ponendo Ponens

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Modus Ponendo Ponens:


Modus Ponendo Ponens is a valid argument in types of logic dealing with conditionals $\implies$.

This includes propositional logic and predicate logic, and in particular natural deduction.


Proof Rule

If we can conclude $\phi \implies \psi$, and we can also conclude $\phi$, then we may infer $\psi$.


Sequent Form

\(\ds p\) \(\implies\) \(\ds q\)
\(\ds p\) \(\) \(\ds \)
\(\ds \vdash \ \ \) \(\ds q\) \(\) \(\ds \)
Retrieved from "https://proofwiki.org/w/index.php?title=Category:Modus_Ponendo_Ponens&oldid=653788"