Notes 4-3

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

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

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

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

View Full Document
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
Ask a homework question - tutors are online