Week 5 Logic of Quantified statments

 0    8 tarjetas    up804653
descargar mp3 imprimir jugar test de práctica
 
término English
definición English

what is a predicate?
empezar lección
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?
empezar lección
words that refer to quantities such as "some" or "all"

what is the symbol for Universal quantifier?
empezar lección

Explain universla quantifier
empezar lección
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
empezar lección

explain Existential quantifier
empezar lección
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)"
empezar lección
∀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)"
empezar lección
∃x ∈ D, p(x)


Debes iniciar sesión para poder comentar.