→ Week 5 Logic Of Quantified Statments → Start Learning / Download MP3 Flashcards

start learning

Question		Answer
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)

Week 5 Logic of Quantified statments