Sentences 11.9

# Sentences 11.9 - /x (Cube(x) & @y (Dodec(y) \$...

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

5.3 WNDS: 5.8: WinNT 6.1.7100 () [5.8.0.10629] SntF C1244577901669D1244578125775D1244578249494D1244578303243D1244578402116 S11136 25 /x @y ~Smaller(x, y) ; Could this ever be true?

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

View Full Document
@x (Dodec(x) \$ /y Smaller(x, y))
/x (Dodec(x) & ~@y Smaller(x, y))

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

View Full Document
/y @x (Dodec(x) \$ Smaller(x, y)) ; Try to say this in English. It's hard to say it ; clearly and unambiguously.
/y @x (Dodec(x) \$ ~Smaller(y, x))

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

View Full Document
/y @x (Dodec(x) \$ ~Smaller(x, y))
@x ((Cube(x) & Medium(x)) \$ ~/y BackOf(y, x))

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

View Full Document
; Do you understand the difference between 7 and ; 8? They don't mean the same thing.
@x ((Cube(x) & ~Large(x)) \$ ~/y BackOf(y, x))

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

View Full Document
@x ((Cube(x) & Large(x)) \$ /y ~BackOf(y, x))
/x (Tet(x) & @y (Cube(y) \$ BackOf(y, x)))

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

View Full Document
/x (Tet(x) & @y (BackOf(y, x) \$ Cube(y)))

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

View Full Document

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

View Full Document

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

View Full Document

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

View Full Document

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

View Full Document

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

View Full Document

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: /x (Cube(x) & @y (Dodec(y) \$ Smaller(y, x))) /x (~Cube(x) & @y (Smaller(y, x) \$ Dodec(y))) @x ((Cube(x) & /y LeftOf(x, y)) \$ Large(x)) @x ((Tet(x) & ~/y FrontOf(x, y)) \$ Small(x)) @x (~/y BackOf(y, x) \$ Cube(x)) @x (~/y ~FrontOf(y, x) \$ Tet(x)) @x (Tet(x) \$ /y /z Between(x, y, z)) /y @x (Tet(x) \$ /z Between(x, y, z)) ; How does this differ from the one above? They ; mean very different things. /z @x (Tet(x) \$ /y Between(x, y, z)) /y /z @x (Tet(x) \$ ~Between(x, y, z)) ; Do you see how this can be false, even though 20 ; and 21 are true? /y @x (Small(x) \$ ~SameRow(x, y)) @x (Small(x) \$ /y (x # y & SameRow(x, y))) @x (Small(x) \$ /y (x # y & ~SameCol(x, y)))...
View Full Document

## This note was uploaded on 09/24/2009 for the course PHIL 303 taught by Professor Staff during the Spring '08 term at University of Michigan.

### Page1 / 26

Sentences 11.9 - /x (Cube(x) & @y (Dodec(y) \$...

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

View Full Document
Ask a homework question - tutors are online