modus ponens
Related entries include:
absurd
;