Wednesday, July 19, 2006
First-Order Logic (Lecture Notes)
- Every gardener likes the sun.
(Ax) gardener(x) => likes(x,Sun) - You can fool some of the people all of the time.
(Ex) (person(x) ^ (At)(time(t) => can-fool(x,t))) - You can fool all of the people some of the time.
(Ax) (person(x) => (Et) (time(t) ^ can-fool(x,t))) - All purple mushrooms are poisonous.
(Ax) (mushroom(x) ^ purple(x)) => poisonous(x) - No purple mushroom is poisonous.
~(Ex) purple(x) ^ mushroom(x) ^ poisonous(x)
or, equivalently,
(Ax) (mushroom(x) ^ purple(x)) => ~poisonous(x) - There are exactly two purple mushrooms.
(Ex)(Ey) mushroom(x) ^ purple(x) ^ mushroom(y) ^ purple(y) ^ ~(x=y) ^ (Az) (mushroom(z) ^ purple(z)) => ((x=z) v (y=z)) - Deb is not tall.
~tall(Deb) - X is above Y if X is on directly on top of Y or else there is a pile of one or more other objects directly on top of one another starting with X and ending with Y.
(Ax)(Ay) above(x,y) <=> (on(x,y) v (Ez) (on(x,z) ^ above(z,y)))
http://www.cs.wisc.edu/~dyer/cs540/notes/fopc.html
# posted by Bengi Mizrahi @ 9:08 AM 
