Discrete Math Exercise: Predicates and Quantifiers
Express statements about babies, logic, crocodile management, and despisement using quantifiers and logical connectives. Determine implications between statements and reach a correct conclusion based on the given predicates and domain. Solutions and references provided.
Download Presentation
Please find below an Image/Link to download the presentation.
The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.
E N D
Presentation Transcript
Discrete Math: Predicates and Quantifiers Exercise 31
Exercise Let P(x), Q(x), R(x), and S(x) be the statements x is a baby, x is logical, x is able to manage a crocodile, and x is despised, respectively. Suppose that the domain consists of all people. Express each of these statements using quantifiers; logical connectives; and P(x), Q(x), R(x), and S(x). a) Babies are illogical. b) Nobody is despised who can manage a crocodile. c) Illogical persons are despised. d) Babies cannot manage crocodiles. e) Does (d) follow from (a), (b), and (c)? If not, is there a correct conclusion?
References Discrete Mathematics and Its Applications, McGraw-Hill; 7th edition (June 26, 2006). Kenneth Rosen Discrete Mathematics An Open Introduction, 2nd edition. Oscar Le in A Short Course in Discrete Mathematics, 01 Dec 2004, Edward Bender & S. Gill Williamson
