Modus ponendo tollens

Transformation rules
Propositional calculus
Rules of inference
Rules of replacement
Predicate logic
Rules of inference

Modus ponendo tollens (MPT;[1] Latin: "mode that denies by affirming")[2] is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens.

  1. ^ Politzer, Guy & Carles, Laure. 2001. 'Belief Revision and Uncertain Reasoning'. Thinking and Reasoning. 7:217–234.
  2. ^ Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. London: Routledge. p. 60. ISBN 0-415-91775-1.