Modus ponens
= Modus ponens
{wiki=Modus_ponens}
Modus ponens is a rule of inference in propositional logic. It states that if you have a conditional statement of the form "If P, then Q" (written as \\( P \\rightarrow Q \\)) and you also have the proposition P true, then you can conclude that Q is true. In symbolic terms, it is expressed as: 1. \\( P \\rightarrow Q \\) (If P, then Q) 2. \\( P \\) (P is true) 3.