Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
0 of .
Results for:
P. 1
Quantifiers & Predicates

# Quantifiers & Predicates

Ratings: (0)|Views: 1,576|Likes:

### Availability:

See more
See less

12/13/2012

pdf

text

original

Examples
Everyone loves logic.
There is a person only a mom couldlove.
Every sufficiently large odd numbercan be written as the summation of three primes.
September 16, 2008Predicate Calculus
1

Predicate Calculus
Propositional Logic
–
uses statements
Predicate Calculus
–
uses predicates
Predicates must be applied to a subject in order to betrue 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
September 16, 2008Predicate Calculus
2

Quantification
x
–
There exists an x (at least one,some)
x
–
For all x
s
Usually specified from a domain
x
Z
–
There exists an x in the integers
x
R
–
For all x
s in the reals
Domain
–
set where these subjects comefrom
September 16, 2008Predicate Calculus
3