Answered

Westonci.ca is the premier destination for reliable answers to your questions, provided by a community of experts. Get quick and reliable answers to your questions from a dedicated community of professionals on our platform. Connect with a community of professionals ready to help you find accurate solutions to your questions quickly and efficiently.

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 platform. We aim to provide accurate and up-to-date answers to all your queries. Come back soon. We hope this was helpful. Please come back whenever you need more information or answers to your queries. Westonci.ca is committed to providing accurate answers. Come back soon for more trustworthy information.