1 / 7

Discrete Structures

Discrete Structures. Chapter 3: The Logic of Quantified Statements 3.3. Statements with Multiple Quantifiers. It is not enough to have a good mind. The main thing is to use it well. – Ren é Descartes , 1596 – 1650. Multiple Quanitifiers.

dana
Télécharger la présentation

Discrete Structures

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Discrete Structures Chapter 3: The Logic of Quantified Statements 3.3. Statements with Multiple Quantifiers It is not enough to have a good mind. The main thing is to use it well. – René Descartes, 1596 – 1650 3.3. Statements with Multiple Quantifiers

  2. Multiple Quanitifiers • We begin by considering sentences in which there is more than one quantifier of the same “quantity”—i.e., sentences with two or more existential quantifiers, and sentences with two or more universal quantifiers. 3.3. Statements with Multiple Quantifiers

  3. Example – pg. 129 # 1 • Let C be the set of cities in the world, let N be the set of nations in the world, and let P(c, n) be “c is the capital city of n.” Determine the truth values of the following statements. • P(Tokyo, Japan) • P(Athens, Egypt) • P(Paris, France) • P(Miami, Brazil) 3.3. Statements with Multiple Quantifiers

  4. Example – pg. 129 # 2 • Let G(x, y) be “x2 > y.” Indicate which of the following statements are true and which are false. • G(2, 3) • G(1, 1) • G(1/2, 1/2) • G(-2, 2) 3.3. Statements with Multiple Quantifiers

  5. Negations of Multiply-Quantified Statements 3.3. Statements with Multiple Quantifiers

  6. Example – pg. 129 # 13 & 19 • In each case, (a) rewrite the statement in English without using the symbol  or  or variables and expressing your answer as simply as possible, and (b) write a negation for the statement. • 13. • 19. 3.3. Statements with Multiple Quantifiers

  7. Example – pg. 131 # 56 • Let P(x) and Q(x) be predicates and suppose D is the domain of x. For the statement forms in each pair, determine whether (a) they have the same truth value for every choice of P(x), Q(x), and D, or (b) there is a choice of P(x), Q(x), and D for which they have opposite truth values. 3.3. Statements with Multiple Quantifiers

More Related