ws2 - Rob Bayer Instructions Math 55 Worksheet June 23,...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Rob Bayer Math 55 Worksheet June 23, 2009 Instructions Introduce yourselves! Despite popular belief, math is in fact a team sport! Find some blackboard space, a piece of chalk, and decide who will be your first scribe. Do the problems below, having a different person be the scribe for each one. Try to work out the problems as a group, but feel free to flag me down if you run into a wall. Predicates and Quantifiers 1. If P ( x ) is the statement “x > 0” and G ( x,y ) is the statement x 2 y , determine the truth value of each of the following (a) P (1) (b) G (2 , - 3) (c) P ( - 1) G ( - 2 , 1) 2. Using the same predicates as above, determine the truth values of each of the following statements if the domain is the set of all real numbers. (a) xP ( x ) (b) xP ( x ) ∧ ∀ xG ( x, 0) (c) yG (2 ,y ) 3. Suppose the domain of P ( x ) consists of the integers 0,1,2,3. Re-write each of the following statements without using quantifiers: (a) xP ( x ) (b) x ( x 6 = 1 P ( x )) (c) x ( x 6 = 1 → ¬ P ( x )) 4. Let S ( x ) be the statement “ x is a student,” L ( x ) be “ x lives in Germany” G ( x ) be “ x speaks German.” Translate each of the following into English or into logic symbols as appropriate. The domain is the set of all people. (a)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

ws2 - Rob Bayer Instructions Math 55 Worksheet June 23,...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online