M1 Topic 2: Predicates and Quantifiers

Question 1

A statement expressed in a way that would assume the value of true or false

Answer 1

Predicate or propositional function

Question 2

May be created from a propositional function by either assigning a value to the variable or by quantification

Answer 2

Proposition

Question 3

The variable of a propositional function must have this

Answer 3

Universe of discourse (domain of discourse)

Question 4

Often referred to as the domain

Answer 4

Universe of discourse

Question 5

Expresses the extent to which a propositional function is true over a range of elements

Answer 5

Quantification (quantifier)

Question 6

The words all, some, many, none, and few are used in _______

Answer 6

Quantifications

Question 7

The proposition “P(x) is true for all values x in the universe of discourse.”

Answer 7

Universal quantification of P(x)

Question 8

The proposition “There exists an element x in the universe of discourse such that P(x) is true.”

Answer 8

Existential quantification of P(x)