Related articles:
Quantification
Axiom
Exclusive or
Tautology (logic)
Model theory
Logical connective
Modal logic
Willard Van Orman Quine
Predicate logic
Consistency
Table of logic symbols
Equivalence relation
Alan Turing
Truth table
Halting problem
Formal language
David Hilbert
Context-free grammar
Set theory
Key terms:
forall
lor
lnot
predicate
quantifiers
arity
connectives
forall y
predicate symbol
leftrightarrow
logical consequence
conjunctions
harr
deductive system
empty domains
lnot p
variable assignment
atomic formulas
logical symbols
logically valid
propositional logic
logical connectives
compactness theorem
forall z
logically implies
natural deduction
infinitary logics
nonempty set
tableaux method
equality relation
unary predicate
fuzzy logics
biconditional
infix notation
logical axioms
stronger logics
predicate logic
peano arithmetic
sequent calculus
logic without equality
existential quantifier
logical consequence relation
binary connectives
automated theorem proving
punctuation symbols
inductive definition
variable assignment function
additional quantifiers
natural deduction systems
often denoted by lowercase letters
Search external links cited by footnotes on Wikipedia page First-order logic:
|
|