prenex normal form
Sign in to savefirst-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part
Connections
first-order logic
Entity
quantifier
Entity
Skolem normal form
Entity
free and bound variables
Entity
algebraic normal form
Entity
Latin
Entity
International Standard Book Number
Entity
natural number
Entity
Kurt Gödel
Entity
ring
Entity
propositional calculus
Entity
logical disjunction
Entity
Alfred Tarski
Entity
logical conjunction
Entity
material implication
Entity
logical operator
Entity
tautology
Entity
universal quantification
Entity
existential quantification
Entity
classical logic
Entity