Related articles:
Axiom
Exclusive or
Tautology (logic)
Modal logic
Willard Van Orman Quine
Set theory
Alan Turing
Halting problem
Formal language
David Hilbert
Context-free grammar
Equivalence relation
Truth table
Table of logic symbols
Key terms:
forall
lor
lnot
predicate
quantifiers
arity
connectives
predicate symbol
forall y
leftrightarrow
logical consequence
deductive system
variable assignment
zfc
logically valid
compactness theorem
propositional logic
empty domains
logical connectives
lor b
atomic formulas
bound variables
natural deduction
lnot p
logical symbols
tableaux method
equality relation
nonempty set
logical consequence relation
unary predicate
logically implies
logic without equality
automated theorem proving
infix notation
intuitionistic
mathop
harr
logical axioms
inductive definition
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:
|
|