Example image of eyePlorer eyePlorer map for 'Propositional calculus': Formal language Formal system Interpretation (logic) Mathematical logic Proposition Well-formed formula Axiom Deductive system Rule of inference Theorem Formal proof Truth value Binary relation Logical equivalence Formal grammar Semantics Valuation (mathematics) Atomic formula Logical connective Truth function Inclusive Exclusive Method of analytic tableaux Truth table Argument Modus ponens First-order logic Completeness Propositional variable Operator Partition of a set Arity Ampersand Tilde Mathematical induction Recursive WFF Abjunction De Morgan's laws Disjunction elimination Double negative elimination DPLL algorithm Entitative graph Frege's propositional calculus Glivenko's theorem Hybrid logic Implicational propositional calculus Incorrigibility Intermediate logic Interval temporal logic