Example image of eyePlorer eyePlorer map for 'Transposition (logic)': Classical logic Deductive reasoning Rule of inference Logical biconditional Material conditional Negation Antecedent (logic) Consequent Proposition Truth function Function (mathematics) Philosophical logic Transposition (mathematics) If and only if Conversion (logic) Categorical proposition Contraposition Obversion Term logic Set theory Contraposition (traditional logic) Graphism Direct proof Modus tollens Transposition Drinker paradox Job Control Language