Category:Logic

2

• 2-satisfiability

A

• Abstract object theory
• Algebraic logic
• Alphabet (formal languages)
• Analogy
• Argument
• Argument (logic)
• Axiom schema
• Axiomatic system

B

• Backtracking
• Binary expression tree
• Binary tree
• Boolean algebra
• Boolean function
• Boolean satisfiability problem
• Booleo

C

• Circumscription (logic)
• Combinatory logic
• Computational mathematics
• Computing
• Critical thinking
• Curry's paradox

D

• Decidability (logic)
• Deductive reasoning
• Deductive system
• Dependent and independent variables

E

• Equational logic
• Euclidean geometry
• Exclusive or

F

• Fact
• First-order logic
• Formal logic
• Formal methods
• Formal science
• Formal system
• Free variables and bound variables
• Functional completeness
• Fuzzy logic

G

• Game semantics
• Game theory
• George Boole
• Ground expression
• Gödel numbering
• Gödel's incompleteness theorems

H

• Heuristic
• Hoare logic
• How to Solve It
• HR (program)

I

• Idempotence
• Impossible Programs

K

• Kripke semantics

L

• Lambda calculus
• Laws of Form
• Logic
• Logic gate
• Logic grid puzzle
• Logic in computer science
• Logic programming
• Logic puzzle
• Logic-grid conditional
• Logical connective
• Logical consequence
• Logical constant
• Logical form
• Logical graph
• Loki's Wager

M

• Many-valued logic
• Map (mathematics)
• Mathematical logic
• Mathematical proof
• Mathematics
• Metavariable
• Modal logic

N

• Noise-based logic
• Non-monotonic logic
• Nonogram
• Null (SQL)

P

• Paradox
• Philosophy of logic
• Pigeonhole principle
• Predicate logic
• Program (machine)
• Programming language
• Proof (truth)
• Proposition
• Propositional calculus
• Propositional formula
• Provability logic

Q

• Quantifier (logic)

R

• Reason
• Recursion
• Regular expression
• Relativist fallacy
• Rewriting
• Rule of inference
• Russell's paradox

S

• Self-reference
• Self-similarity
• Semantics of logic
• Sentence (logic)
• Sequential logic
• Sign system
• SQL
• Statement (logic)
• Structural induction
• Symbol
• Symbol (formal)
• Symbolic computation
• Syntax (logic)
• Systems engineering

T

• Term (logic)
• Text conversion
• The Laws of Thought
• Theory
• Theory (mathematical logic)
• Theory of Obligationes
• Three-valued logic
• Toffoli gate
• Truth
• Truth value
• Turing machine
• Turing test
• Type theory

U

• Unsatisfiable core

V

• Validity
• Vector logic
• Verificationism

W

• Well-formed formula
• WordPress Theme

Y

• Yes–no question