Modus Ponens

In propositional logic, modus ponens is a rule of inference. It can be summarized as ‘P implies Q and P is asserted to be true, therefore Q must be true.’