/ Decidability (logic) / Diagram (category theory) / Direct proof / Disjunction elimination / Disjunction introduction / Disjunctive normal form / Disjunctive Syllogism / Double negation / entscheidungsproblem / Existential quantification / first-order logic / Formal proof / Gödel's incompleteness theorems / inference / Infimum and supremum / Intuitionistic Logic / Logic / Logical conjunction / Logical connective / Logical disjunction / logical reasoning / Material implication (rule of inference) / mathematical induction / Mathematical logic / Mathematician / Mathematics / modal logic / Modus tollens / natural language / Natural number / Negation / Paradoxes of material implication / Parse Tree / PHILOSOPHY / Logic / Philosophy of Mathematics / Philosophy# logic / Phrase / Predicate (mathematical logic) / Predicate logic / Prime number / Propositional calculus / Quantifier (logic) / real number / Recursively enumerable set / Reductio ad absurdum / Rule of inference / Sequent / sequent calculus / Set (mathematics) / Set theory / soundness / special case / Subset / Substructural logic / Tautology (logic) / The Philosopher / Theorem / Theory / Truth function / Truth table / Truth value / Validity / Variable (mathematics) / Zermelo–Fraenkel set theory