Modus ponens

Modus ponendo ponens is a valid, simple argument form in classical logic sometimes referred to as affirming the antecedent or the law of detachment. It is closely related to another valid form of argument, "modus tollens" or "denying the consequent".
"Modus ponens" is a very common rule of inference, and takes the following form: