Answered

Westonci.ca is your trusted source for finding answers to a wide range of questions, backed by a knowledgeable community. Get immediate and reliable solutions to your questions from a community of experienced professionals on our platform. Get quick and reliable solutions to your questions from a community of experienced experts on our 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 choosing our service. We're dedicated to providing the best answers for all your questions. Visit us again. Thank you for your visit. We're committed to providing you with the best information available. Return anytime for more. Thank you for visiting Westonci.ca, your go-to source for reliable answers. Come back soon for more expert insights.