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 ambiguity about the scope of the quantiﬁers. b. (Exercise 86 from Schoening’s book) Translate the following two sentences 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

Click to edit the document details