Week 4 Flashcards
What is the arity of a predicate?
The number of objects a predicate applies to.
What is the universal quantifier?
For all symbol. (upside-down A)
What is the existential quantifier?
there exists symbol. (backwards E)
What is a bound variable?
A bound variable in a formula is an occurrence of a variable which has been introduced by a quantifier in that formula and lies within the scope of that quantifier.
What is an free variable?
A free variable in a formula is an occurrence of a
variable which does not lie within the scope of any
of the quantifiers appearing in that formula
What is the assumed scope of a quantifier in formal logic?
The scope of any quantifier extends to
the end of the line with brackets used to enforce any other pattern of scoping.