Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - Page 55: 38

Answer

a) There is a system in open state b) All systems are either in malfunctioning state or diagnostic state c) There is a system in open state or diagnostic state d) There is a system which is not in available state e) All systems are not in working state

Work Step by Step

First decide if the statement is true for all range denoted by $\forall$ or it's true for a single range denoted by $\exists$. Then put S(x,y) in terms “x is in state y”. If there's a negation sign $\neg$ before S(x,y) it means "x is not in y".
This answer is currently locked

Someone from the community is currently working feverishly to complete this textbook answer. Don’t worry, it shouldn’t be long.