Comment by juan-carlos-perez on Propositional Logic, Syntactic Implication · 2019-02-11T03:04:17.025Z · score: 2 (2 votes) · LW · GW

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.