Week 4

Question 1

What is the arity of a predicate?

Answer 1

The number of objects a predicate applies to.

Question 2

What is the universal quantifier?

Answer 2

For all symbol. (upside-down A)

Question 3

What is the existential quantifier?

Answer 3

there exists symbol. (backwards E)

Question 4

What is a bound variable?

Answer 4

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.

Question 5

What is an free variable?

Answer 5

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

Question 6

What is the assumed scope of a quantifier in formal logic?

Answer 6

The scope of any quantifier extends to
the end of the line with brackets used to enforce any other pattern of scoping.