Notes 4-3

Notes 4-3 - • Vx(Tet(x • Vy(Dodec(y Frontof(x,y •...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Vx Ey Likes(x,y)- Everybody Likes Somebody(active) Vx Ey Likes(y,x)- Everybody is liked by somebody(passive) If universal quantifier is first, it will be the subject of your sentence Existential is second, it will be your predicate Verb is Likes o Things like mother of is not a verb Ey Vx Likes(x,y)- There is somebody who Everybody Likes Ey Vx Likes(y,x)- There is a person who likes Everybody There is a person= subject Whom everybody/everybody= predicate Likes= verb Each cube is to the left of a tetrahedron Vx(Cube(x) -> is to the left of a tetrahedron) … in book Every tetrahedron is in front of every dodecahedron
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: • Vx(Tet(x) • Vy(Dodec(y) Frontof(x,y) • Vx(Tet(x) Vy(Dodec(y) Frontof(x,y)) When you have a universal reigning over a conjunction you can pull out the quantifiers There are (at least) two cubes. • Existential Two Dogs bark (at least) • Ex Ey(Dog(x) ^ Dog(y) ^ Bark(x)^Bark(y) x=/y) Two Dogs bark • ExEy(Dog(x)^Dog(y)^Bark(x)^Bark(y)^-(x=y)^Vz(Dog(z) ^ Bark(z) z=x or z=y) 11.17.9. Vx Vy (Dodec(x) ^ -Rightof(x,y) Ez (leftof(z,x))) 11.17.6 Vx(Cube(x) Vy Vz (y=/z ^ FallsBetween(x,y,z)))...
View Full Document

This note was uploaded on 04/10/2008 for the course PHIL 155 taught by Professor Hofweber during the Spring '08 term at UNC.

Page1 / 2

Notes 4-3 - • Vx(Tet(x • Vy(Dodec(y Frontof(x,y •...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online