Week 5 Logic of Quantified statments

 0    8 fiche    up804653
Télécharger mP3 Imprimer jouer consultez
 
question English réponse English
what is a predicate?
commencer à apprendre
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?
commencer à apprendre
words that refer to quantities such as "some" or "all"
what is the symbol for Universal quantifier?
commencer à apprendre
Explain universla quantifier
commencer à apprendre
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
commencer à apprendre
explain Existential quantifier
commencer à apprendre
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)"
commencer à apprendre
∀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)"
commencer à apprendre
∃x ∈ D, p(x)

Vous devez vous connecter pour poster un commentaire.