Rules of inference - Modus Ponens ( Discrete Math 1 )
Modus ponens is one of my favorite in the rules of inference. I submitted this A4 size poster to my prof in discrete math 1 subject. In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; generally abbreviated to MP or modus ponens) or implication elimination is a rule of inference.