Transposition is a valid argument form and rule of replacement of propositional logic that allows one to invert and then convert a material conditional. That is, if P \to Q is a material conditional that is true, then we may infer \lnot Q \to \lnot P.

This rule of replacement could be represented symbolically as: P \to Q \Leftrightarrow \lnot Q \to \lnot P, where \Leftrightarrow is a metalogical symbol meaning "can be replaced with".

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.