This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: x Dodec ( x ) x ( Dodec ( x ) (( Small ( x ) Large ( x )) Medium ( x )) (b) Every large cube has a small tetrahedron on its left. x (( Cube ( x ) Large ( x )) y ( Tet ( y ) Small ( y ) LeftOf ( y,x )) (c) If there is a large tetrahedron, then there are no cubes behind it. x ( Tet ( x ) Large ( x )) x (( Tet ( x ) Large ( x )) y ( Cube ( y ) BackOf ( y,x )) (d) There is more than one large cube. x y ( Large ( x ) Cube ( x ) Large ( y ) Cube ( y ) x 6 = y ) (e) There is exactly one large cube. x y ( Large ( x ) Cube ( x ) (( Large ( y ) Cube ( y )) y = x )) (f) There are exactly two large cubes. x y z ( Large ( x ) Cube ( x ) Large ( y ) Cube ( y ) x 6 = y [( Large ( z ) Cube ( z )) ( z = x z = y )]) 2...
View
Full
Document
 Spring '08
 FITELSON

Click to edit the document details