Example image of eyePlorer eyePlorer map for 'Validity': Argument Logic Statement Entailment Corresponding conditional (logic) Logical consequence Syllogism Logical form Interpretation (logic) Soundness Model theory Affirming the consequent Anti-psychologism Boundary critique Co-premise Critical appraisal Denying the antecedent Disjunction introduction Disjunctive syllogism Distribution rule Existential fallacy Fallacy of exclusive premises Formation rule Game semantics Ignoratio elenchi Illicit major Illicit minor Member check Modus ponens Modus tollendo ponens Modus tollens Principle of distributivity Proof by contradiction Proof by contrapositive Simplification Trakhtenbrot's theorem Validator Argument form Decidability (logic) Ethnobiology Formal fallacy Formal grammar Truth table Validation Deductive reasoning Faculty (instrument) False premise Formalism (mathematics) Outline of logic Quasi-syllogism