This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CS 245 Winter 2009 Solution Set for Lecture 9 Nissanke Ch. 6 Exercise 6.1 (p. 84) 1 . country ( x ) , cold ( x ) 2 . country ( x ) , warm ( x ) , holidayresort ( x ) 3 . country ( x ) , holidayresort ( x ) , by the sea ( x ) 4 . country ( x ) , cold ( x ) , beautiful ( x ) , northern european ( x ) 5 . beautiful (x), holidayresort (x), country (x), european (x) Exercise 6.2 (p. 86) 1. Everybody is an adult or a child. 2. Everybody is an adult or there are some children. 3. For everyone, they are an adult or there are some children. 4. Everybody is an adult or everybody is a child. 5. No one is a short clever child. 6. If nobody is short then everybody is a clever child. 7. For everyone, if they are an adult and a child, then John is short and tall. Exercise 6.3 (p. 8687) 1. Formalizations: (a) ( x tall ( x )) ( x child ( x )) where tall ( x ) means x is tall child ( x ) means x is a child (b) ( x short ( x ) adult ( x )) y child ( y ) tall ( y ) clever ( y ) where 1 short ( x ) means x is short adult ( x ) means x is an adult child ( x ) means x is a child tall ( x ) means x is tall clever ( x ) means x is clever (c) x child ( x ) short ( x ) clever ( x ) where short ( x ) means x is short child ( x ) means x is a child clever ( x ) means x is clever (d) x ( adult ( x ) tall ( x )) ( adult ( x ) clever ( x )) where adult ( x ) means x is an adult tall ( x ) means x is tall clever ( x ) means x is clever (e) x adult ( x ) clever ( x ) ( y child ( y ) clever ( y )) where adult ( x ) means...
View
Full
Document
This note was uploaded on 10/23/2009 for the course CS 245 taught by Professor A during the Spring '08 term at Waterloo.
 Spring '08
 A
 Sort

Click to edit the document details