This preview shows page 1. Sign up to view the full content.
Unformatted text preview: predicate symbols, C , T 1, T 2, and M where C ( x,y ) stands for course x is oﬀered by department y , T 1( x,y ) corresponds to course x is taught by y , T 2( x,y ) corresponds to course x is taken by y , and M ( x,y ) corresponds to x is the major of y Important : Do not use any other function, constant or predicate symbols. Clearly parenthesize your formulae, especially to ensure that there is no am-biguity about the scope of the quantiﬁers. b. (Exercise 86 from Schoening’s book) Translate the following two sen-tences into wfs: i. Every barber shaves all persons who do not shave themselves. ii. No barber shaves any any person who shaves himself. For this part, use S ( x,y ) to stand for x shaves y and B ( x ) to correspond to x is a barber. 1...
View Full Document
This document was uploaded on 12/07/2011.
- Spring '09