Week 5 Logic of Quantified statments

 0    8 flashcards    up804653
download mp3 print play test yourself
 
Question English
Answer English

what is a predicate?
start learning
A predicate (or propositional function) is a statement containing one or more variables. If values from a given set (domain) are assigned to all the variables, the resulting statement is a proposition.

what are quantifies?
start learning
words that refer to quantities such as "some" or "all"

what is the symbol for Universal quantifier?
start learning

Explain universla quantifier
start learning
The symbol ∀ (an upside-down A) is called the universal quantifer; the meaning is for all (for each)

What is the symbol for Existential quantifier
start learning

explain Existential quantifier
start learning
there exists

Write in shorthand the following: For a predicate p(x) with domain D the statement "for every x from domain D, p(x)"
start learning
∀x ∈ D p(x)

Write in shorthand the following: For a predicate p(x) with domain D the statement "there exists an x from the domain D such that p(x)"
start learning
∃x ∈ D, p(x)


You must sign in to write a comment