Week 5 Logic of Quantified statments

 0    8 flashcards    up804653
mp3 indir Baskı oynamak kendini kontrol et
 
soru English cevap English
what is a predicate?
öğrenmeye başla
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?
öğrenmeye başla
words that refer to quantities such as "some" or "all"
what is the symbol for Universal quantifier?
öğrenmeye başla
Explain universla quantifier
öğrenmeye başla
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
öğrenmeye başla
explain Existential quantifier
öğrenmeye başla
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)"
öğrenmeye başla
∀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)"
öğrenmeye başla
∃x ∈ D, p(x)

Yorum yapmak için giriş yapmalısınız.