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