Modus Ponens

  1. REDIRECT Modus ponens {{R from other capitalisation}}