Dx x is odd the domain for x is the set of all

This preview shows page 25 - 36 out of 38 pages.

D(x): x is odd The domain for x is the set of all positive integers Is the following proposition true or false? x ((x < 0) → P(x)) A) True B) False
Image of page 25

Subscribe to view the full document.

Evaluating Quantified Statements Predicates A(x), B(x), C(x) Domain of x = {1, 2, 3, 4} x A(x) B(x) C(x) 1 T T T 2 T F T 3 T F F 4 T F F C(2) A(3) → B(3) B(3) v A(2) C(3) → A(3) x B(x) x ( A(x) ᴧ B(x) ᴧ C(x) ) x ( A(x) v C(x) ) x ( B(x) v (¬A(x) ᴧ C(x) )
Image of page 26
Evaluating Quantified Statements Predicates A(x), B(x), C(x) Domain of x = {1, 2, 3, 4} x A(x) B(x) C(x) 1 T T T 2 F F T 3 T F F 4 T F F A) x ( A(x) → C(x) ) True x ( A(x) → C(x) ) True B) x ( A(x) → C(x) ) True x ( A(x) → C(x) ) False C) x ( A(x) → C(x) ) False x ( A(x) → C(x) ) True D) x ( A(x) → C(x) ) False x ( A(x) → C(x) ) False Which option is correct?
Image of page 27

Subscribe to view the full document.

Translating English to Logic Domain: students at a school S(x): x is a senior L(x): x was late to school Someone was not late to school Sam is a senior who was late to school Everyone was on time for school
Image of page 28
Translating English to Logic Domain: students at a school S(x): x is a senior L(x): x was late to school There is a senior who was late to school Every student who is a senior was late to school.
Image of page 29

Subscribe to view the full document.

Logical Equivalence of Quantified Statements x ( S(x) ᴧ L(x) ) There is a senior who was late to school. Two quantified statements (whether they are expressed in English or the language of logic) have the same logical meaning if they have the same truth value regardless of value of the predicates for the elements in the domain.
Image of page 30
Translating English to Logic Domain: students at a school S(x): x is a senior L(x): x was late to school Every student who is a senior was late to school. x S(x) L(x) Joe T F Belinda T F Lucy F F Brad F T x S(x) L(x) Nancy T T Ingrid T T Jose F F Ralph F T School 1 School 2
Image of page 31

Subscribe to view the full document.

Translating English to Logic Domain: students at a school S(x): x is a senior L(x): x was late to school There is a senior who was late to school. x S(x) L(x) Joe T F Belinda T F Lucy F F Brad F T x S(x) L(x) Nancy T T Ingrid T T Jose F F Ralph F T School 1 School 2
Image of page 32
Translating English to Logic Domain: students at a school S(x): x is a senior F(x): x lives far from school L(x): x was late to school Select the logical expression that is equivalent to: Everyone who was late is a senior or lives far from school. A) x ( L(x) ᴧ (F(x) v S(x)) ) B) x ( L(x) → (F(x) v S(x)) ) C) x ( (L(x) ᴧ F(x)) v S(x) ) D) x ( (L(x) → F(x)) v S(x) )
Image of page 33

Subscribe to view the full document.

Logical Equivalence of Quantified Statements x C(x) ᴧ x D(x) x (C(x) ᴧ D(x)) ≡ (C(Bill) ᴧ D(Bill)) v (C(Frank) ᴧ D(Frank)) v (C(Margie) ᴧ D(Margie)) Someone has a cat and someone has a dog Someone has a cat and a dog x C(x) D(x) Bill T F Frank F T Margie T F x (C(x) ᴧ D(x))
Image of page 34
De Morgan’s Law for Quantified Statements ¬ x L(x) x ¬L(x) There is no student who was late.
Image of page 35

Subscribe to view the full document.

Image of page 36
  • Spring '09
  • Meenakshisundaram

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern