Exam1_GroupProblems - 3.3 Statements with Multiple...

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

View Full Document Right Arrow Icon
§3.3 Statements with Multiple Quantifiers 41. Indicate which of the following statements are true and which are false. Justify your answers as best you can. f. , such that . and z zxy xy ∃= + ++ ∀∈  g. such that . and z h. such that . u v uv v < 
Background image of page 1

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

View Full DocumentRight Arrow Icon
§3.1 The Logic of Quantified Statements 33. Let be the domain of the predicate variables , , and abc d . Which of the following are true and which are false? Give counterexamples for the statements that are false. a. 0 and 0 0 a b ab > >⇒ > b. 0 and 0 0 a b ab < <⇒ < c. 0 0 or 0 ab a b =⇒= = d. and c a b d ac bd < >⇒ >
Background image of page 2
§3.1 The Logic of Quantified Statements 1. A menagerie consists of seven brown dogs, two black dogs, six gray cats, ten black cats, five blue birds, six yellow birds, and one black bird. Determine which of the following statements are true and which are false. a. There is an animal in the menagerie that is red. b. Every animal in the menagerie is a bird or a mammal. c. Every animal in the menagerie is brown or gray or black. d. There is an animal in the menagerie that is neither a cat nor a dog. e. No animal in the menagerie is blue. f. There are in the menagerie a dog, a cat, and a bird that all have the same color.
Background image of page 3

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

View Full DocumentRight Arrow Icon
§3.1 The Logic of Quantified Statements 6. Let (,) Rmn be the predicate “If m is a factor of 2
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/20/2012 for the course M 325k taught by Professor Schurle during the Fall '08 term at University of Texas at Austin.

Page1 / 9

Exam1_GroupProblems - 3.3 Statements with Multiple...

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

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