Answered

Westonci.ca offers quick and accurate answers to your questions. Join our community and get the insights you need today. Explore in-depth answers to your questions from a knowledgeable community of experts across different fields. Get precise and detailed answers to your questions from a knowledgeable community of experts on our Q&A platform.

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

Thank you for your visit. We are dedicated to helping you find the information you need, whenever you need it. Thanks for stopping by. We strive to provide the best answers for all your questions. See you again soon. Stay curious and keep coming back to Westonci.ca for answers to all your burning questions.