Get the answers you need at Westonci.ca, where our expert community is dedicated to providing you with accurate information. Get immediate answers to your questions from a wide network of experienced professionals on our Q&A platform. Our platform provides a seamless experience for finding reliable answers from a network of experienced professionals.

1. Exercise 18, section 3.1. Let D be the set of all students at your school and let M(s) be "s is a math major", let C(s) be "s is a computer science major" and let E(s) be "s is an engineering major". Express each of the following statements using quantifiers, variables and the predicates M(s), C(s), E(s). a. Every computer science student is an engineering student b. No computer science students are engineering students c. Some computer science students are also math majors.

Sagot :

fichoh

Answer:

∀s ∈ D, C(s) - - - > E(s)

∀s ∈ D, C(s) - - - > ~ E(s)

∃s ∈ D such that M(s) ∧ C(s)

Step-by-step explanation:

D = set of all students

M(s) = s math major

C(s) = s Computer science major

E(s) = s Engineering major

Expressing the following using quantifies variables and predicates :

A.) Every computer science student is an engineering student

∀s ∈ D, C(s) - - - > E(s)

b. No computer science students are engineering students

∀s ∈ D, C(s) - - - > ~ E(s)

c. Some computer science students are also math majors

∃s ∈ D such that M(s) ∧ C(s)

∃s = Existential Domain

∀s = universal

∧ = connective and

~ = not

∈ = belongs to

Thanks for using our service. We aim to provide the most accurate answers for all your queries. Visit us again for more insights. Thanks for stopping by. We strive to provide the best answers for all your questions. See you again soon. Thank you for choosing Westonci.ca as your information source. We look forward to your next visit.