Sentences 11.4 - ~@x@y((Tet(x) & Tet(y)) $...

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

View Full Document Right Arrow Icon
5.3 WNDS: 5.8: WinNT 6.1.7100 () [5.8.0.10629] SntF C1244589956543D1244590531653C1244576449539D1244577143161D1244577566525D124457757515 0D1244577657287D1244577703924 S17472 8 @x@y((Small(x) & Large(y)) $ FrontOf(x,y))
Background image of page 1

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

View Full DocumentRight Arrow Icon
/x/y((Cube(x) & Tet(y) & Larger(x,y)))
Background image of page 2
@x@y((Cube(x) & Cube(y)) $ SameCol(x,y))
Background image of page 3

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

View Full DocumentRight Arrow Icon
Background image of page 4
Background image of page 5

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

View Full DocumentRight Arrow Icon
Background image of page 6
Background image of page 7

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

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

Unformatted text preview: ~@x@y((Tet(x) & Tet(y)) $ SameCol(x,y)) @x@y((Cube(x) & Cube(y) & x # y) $ ~SameRow(x,y)) ~@x@y((Tet(x) & Tet(y) & x # y) $ ~SameRow(x,y)) /x/y((Tet(x) & Tet(y) & x # y & SameSize(x,y))) ~/x/y(Cube(x) & Cube(y) & x # y & SameSize(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 / 9

Sentences 11.4 - ~@x@y((Tet(x) & Tet(y)) $...

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

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