Predicates and Quantifiers Exercise Solutions in Discrete Mathematics
Exercise solutions involving predicates and quantifiers related to printer status, job status, and queueing in a discrete mathematical context. The solutions address scenarios like lost jobs, busy printers, queued jobs, and out-of-service printers. References to textbooks in discrete mathematics are also 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 20
Exercise Translate these specifications into English where F (p) is Printer p is out of service, B(p) is Printer p is busy, L(j) is Print job j is lost, and Q(j) is Print job j is queued. a) p(F(p) B(p)) jL(j) b) pB(p) j Q(j ) c) j(Q(j) L(j)) pF(p) d) ( pB(p) jQ(j)) jL(j)
Solution In a) If there is a printer that is both out of service and busy, then some job has been lost. each case we pretty much just write what we see. b) If every printer is busy, then there is a job in the queue. c) If there is a job that is both queued and lost, then some printer is out of service. d) If every printer is busy and every job is queued, then some job is lost.
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
