MTH 231 Lecture Notes - Lecture 5: Koala

51 views2 pages
20 Jul 2018
Department
Course
Professor

Document Summary

P(x) is true for all x some x. P(x) is true for some x every x x(cid:859)s are o(cid:374)l(cid:455) (cid:272)o(cid:374)sidered form domain of discourse which effects truth evaluation. * de morga(cid:374)(cid:859)s la(cid:449)s for quantities: x p(cid:4666)x(cid:4667) x p(cid:4666)x(cid:4667, x p(cid:4666)x(cid:4667) x p(cid:4666)x(cid:4667) X p(cid:4666)x(cid:4667) (a) x (cid:4666)r(cid:4666)x(cid:4667) h(cid:4666)x(cid:4667)(cid:4667) (b) x (cid:4666)r(cid:4666)x(cid:4667) (cid:1512)h(cid:4666)x(cid:4667)(cid:4667) (c) x (cid:4666)r(cid:4666)x(cid:4667) h(cid:4666)x(cid:4667)(cid:4667) (d) x (cid:4666)r(cid:4666)x(cid:4667) (cid:1512)h(cid:4666)x(cid:4667)(cid:4667) (cid:863)for a(cid:374)(cid:455) a(cid:374)i(cid:373)als, if it(cid:859)s a ra(cid:271)(cid:271)it, the(cid:374) it hops. (cid:863) (cid:862)(cid:454) hops(cid:863) & the do(cid:373)ai(cid:374) (cid:272)o(cid:374)sists of all a(cid:374)i(cid:373)als (a) (cid:862)for all a(cid:374)i(cid:373)als (cid:454) if (cid:454) is a ra(cid:271)(cid:271)it, the(cid:374) (cid:454) hops. (cid:863) Then form the negation of the statement so that no negation is to the left of a quantifier. Answer key domain all animals (a) d(x) (cid:862)(cid:454) is a dog(cid:863) F(x) (cid:862)(cid:454) has fleas(cid:863) (b) h(x) (cid:862)(cid:454) is a horse(cid:863) A(x) (cid:862)(cid:454) (cid:272)a(cid:374) add(cid:863) (c) k(x) (cid:862)(cid:454) is a koala(cid:863) C(x) (cid:862)(cid:454) (cid:272)a(cid:374) (cid:272)li(cid:373)(cid:271)(cid:863) (d) m(x) (cid:862)(cid:454) is a (cid:373)o(cid:374)ke(cid:455)(cid:863)

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Questions