This preview shows pages 1–3. 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: conjunction Combine two statements by claiming they are both true with logical \and": A ( x ) and B ( x ) (python keyword and works like this) A ( x ) ^ B ( x ) ( ^ is a symbol for \and") As sets: x 2 A \ B Notice that a conjunction is false if either part is false. \The employee makes less than 100,000 and more than 60,000," is true for Gwen, but false for Ellen. Employee Gender Salary Betty female 500 Carlos male 40,000 Doug male 30,000 Ellen female 50,000 Flo female 20,000 Gwen female 95,000 slide 6 watch out for English. . . Sometimes the English word \and" is used to smear some meaning over several components: There is a pen and a telephone. In the universe of objects, O , with predicates P ( x ) ( x is a pen) and T ( x ) ( x is a telephone), you could try to translate this as 9 x 2 O; P ( x ) ^ T ( x ). What's a better translation into symbols? Occasionally English usage of and will di er from logical usage even in mathematical material: The solutions are x < 10 and x > 20 The solutions are...
View Full Document
- Fall '10
- Computer Science