of 30/30
Examples Everyone loves logic. There is a person only a mom could love. Every sufficiently large odd number can be written as the summation of three primes. May 6, 2022 Predicate Calculus 1

Quantifiers & Predicates

  • View
    1.690

  • Download
    8

Embed Size (px)

Text of Quantifiers & Predicates

Examples Everyone loves logic. There is a person only a mom could

love. Every sufficiently large odd number can be written as the summation of three primes.

Predicate Calculus

September 16, 2008

1

Predicate Calculus Propositional Logic uses statements Predicate Calculus uses predicates Predicates must be applied to a subject in order to be

true or false

Subject / Predicate John (j) / went to the store. S() The sky (s) / is blue. B()

P(x)Means this predicate represented by P Applied to the object represented by x S(j) = John went to the store B(s) = The sky is blue. Game Time: Test your understanding Predicate Calculus September 16, 2008

2

Quantification x There exists an x (at least one,

some) x For all xs

Usually specified from a domain x Z There exists an x in the integers x R For all xs in the reals Domain set where these subjects come fromPredicate Calculus September 16, 2008

3

Quantifier Example Let Q(x) be the statement x