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: CPSC 121 Lecture 9 Supplementary Examples January 23, 2009 Here are supplementary notes to provide additional examples, some of which also may be presented in class (or tutorial). Examples inspired by Lewis Carrolls Alice in Wonderland Example 1: If Alice eats food then she grows or shrinks. ( D = set of all food). Let E ( x ) : Alice eats food x S ( x ) : food x makes Alice shrink G ( x ) : food x makes Alice grow Translation: x,E ( x ) ( S ( x ) G ( x )) Example 2: Let F ( x ) : x is a fierce creature L ( x ) : x is a lion C ( x ) : x drinks coffee ( D = set of all creatures) Translate: Some lions do not drink coffee. Translation: x, ( L ( x ) C ( x )) Translate: All lions are fierce. Translation: x, ( L ( x ) F ( x )) Translate: All fierce creatures are not lions. NOTE: We claim there are two interpretations. Translation 1: x, ( F ( x ) L ( x )) Interpretation 1: Nothing that is fierce is a lion. Translation 2: x, ( F ( x ) L ( x )) Interpretation 2: There is some creature that is fierce but not a lion. Lets look at Translation 2 more closely: x, ( F ( x ) L ( x )) x, F ( x ) L ( x ) by p q p q x,F ( x ) L ( x ) by generalized De Morgan Thus, the ambiguity arises from whether the negation applies to...
View Full
Document
 Spring '08
 BELLEVILLE
 Alice in Wonderland, Alice

Click to edit the document details