Modus ponens

Modus ponens is essentially a method in discrete mathematics that is used in propositional logic to prove that given the truth value of one statement in an implication, the following order must be true due to the law of implication. This can be shown given a proposition $p\to q$ . If we know the truth value of $p$ to be True, we can assume that $q$ is true as well.