Example image of eyePlorer eyePlorer map for 'Material conditional': Conditional Logic Propositional calculus Predicate logic Antecedent Consequent Formal theory Formula Logical connective Logical implication Proposition Truth value Set theory Universal quantification Entailment Classical logic Deduction theorem Monotonic function Monotonicity of entailment Non-monotonic logic Relevance logic Distributivity Transitivity Currying Operator associativity Conditional sentence Natural language Apodosis Connexive logic Protasis (linguistics) Bachelor Speed of light Socrates Paradoxes of material implication Counterfactual conditional Indicative conditional Willard Van Orman Quine Corresponding conditional (logic) Barbershop paradox Biconditional elimination Conditional proof Converse implication Strict conditional Barber paradox Direct proof Transposition (logic) Truth function Contraposition If and only if Knowledge base