Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
9Activity
0 of .
Results for:
No results containing your search query
P. 1
Quantifiers & Predicates

Quantifiers & Predicates

Ratings: (0)|Views: 1,576|Likes:
Published by gbland

More info:

Published by: gbland on Sep 16, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
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

Activity (9)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Okan Yalabık added this note
Good slayt, thx...
Regis Mautsa liked this
Firla Fahim liked this
Sulianah Arisah liked this
oschwill liked this
sanjeev2838 liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->