logic

Definition

Modus Ponens

In propositional logic, modus ponens is a deductive argument form and rule of inference. It can be summarised as ” is true, thus must also be true”.