General Logic
- Abstraction Operator
- Alethic
- Analogy
- Analysis
- Atom
- Atomic Statement
- Axiom Schema
- Bivalent
- Boolean Connective
- Boolean Operator
- Bound Variable
- Caliban Puzzle
- Church-Rosser Property
- Church-Rosser Theorem
- Clause
- Closed Sentential Formula
- Combinator
- Combinatory Logic
- Conclusion
- Confluence
- Confluent
- Conjunctive Normal Form
- Consistency
- Consistency Strength
- Constructive Dilemma
- Contingency
- Contradiction
- Contradiction Law
- Converse
- Critical Pair
- Crocodile's Dilemma
- Cut Elimination Theorem
- de Morgan's Duality Law
- Deducible
- Deduction
- Deduction Theorem
- Disjunctive Normal Form
- Disjunctive Syllogism
- Empty Clause
- Equational Logic
- Equipollent
- Existential Closure
- Existential Formula
- Existential Quantifier
- Existential Sentence
- False
- Finitely Terminating
- First-Order Logic
- First-Order Predicate Calculus
- For All
- For Some
- Formal Language
- Formula
- Free Variable
- Functional Calculus
- Game of Logic
- General Quantifier
- Generalized Completeness Theorem
- Goal
- Grammar
- Ground Atom
- Ground Clause
- Ground Literal
- Herbrand Base
- Herbrand's Theorem
- Herbrand Universe
- Horn Clause
- Hypothesis
- Independence Axiom
- Individual
- Interpretation
- Intuitionistic Logic
- K-Map
- Karnaugh Map
- Knuth-Bendix Algorithm
- Knuth-Bendix Completion Algorithm
- Knuth-Bendix Procedure
- König's Lemma
- KV-Map
- Lambda Calculus
- Law of the Excluded Middle
- Literal
- Logic
- Löwenheim-Skolem Theorem
- Markov Algorithm
- Maximal Ideal Theorem
- Metalogic
- Metamathematics
- Metatheory
- Model
- Modus Ponens
- Natural Independence Phenomenon
- Open Sentential Formula
- P-Symbol
- Partial Function
- Poretsky's Law
- Predicate
- Predicate Calculus
- Premise
- Prenex Normal Form
- Proof Theory
- Propositional Calculus
- Propositional Connective
- Propositional Formula
- Propositional Variable
- Quantified System
- Quantifier
- Reduction Order
- Reduction System
- Regular Expression
- Resolution
- Resolution Principle
- Robbins Algebra
- Robbins Axiom
- Robbins Conjecture
- Rule of Inference
- Satisfiable
- Schema
- Sentence
- Sentential Formula
- Sentential Variable
- Sequent Calculus
- Skolem Function
- Skolem Standard Form
- Skolemization
- Skolemized Form
- Statement Form
- Statement Letter
- Strict Order
- Strong Variety
- Structure
- Structure Homomorphism
- Syllogism
- Symbolic Logic
- Tautology
- Term
- Term Rewriting System
- Theory
- Three-Valued Logic
- Total Function
- True
- Truth Table
- Type
- Unification
- Univalent
- Universal Algebra
- Universal Form
- Universal Formula
- Universal Predicate
- Universal Property
- Universal Quantifier
- Universal Sentence
- Unsatisfiable
- Validity
- Variety
- Vee
- Veitch Diagram
- Venn Diagram