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: Chapter 11: Hints and Selected Solutions Section 11.1 (page 291) 11.4 1. x y [( Small ( x ) Large ( y ) FrontOf ( x , y )) 4. x y (( Tet ( x ) Tet ( y )) SameCol ( x , y )) 7. x y ( Tet ( x ) Tet ( y ) x 6 = y SameSize ( x , y )) 11.7 2. Some of the parties are not lonely. 4. There is a lonely party or Someone went to a lonely party. 7. There is only one party or Everyone went to the same party 9. No one was at a party with everyone else. Section 11.2 (page 296) 11.10 2. The person intended to say that every two cubes has something between them, but instead said that every cube has something between it and every cube. This would imply that a cube has something between itself and itself, which is false. So you need to fix the sentence up to say what was intended. 5. This sentence says that everything that has something between it and c is not large. But this is false because of the large cubes in the back row. They have a block between them and c . To make this sentence true in an interesting way, we might say that every block that does not have a block between it and c is not large. 8. The sentence says that the only block with nothing to its left is a . This is false since there are in fact three blocks that have nothing to their left. There is no way to make this sentence true in a nonvacuous way by adding negations inside. You can make it truenonvacuous way by adding negations inside....
View Full Document
- Spring '09