This preview has intentionally blurred sections. Sign up to view the full version.View Full 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.
- Spring '08