Posts

Sorted by New

Wiki Contributions

Comments

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.