Juan Carlos Pérez comments on Propositional Logic, Syntactic Implication

[Juan Carlos Pérez]

Are you sure of ‘modus ponus’ being a name for the third rule of inference? I have seen a few names for it:

• Modus ponens.

• Modus ponendo ponens.

• Law of detachment.