Question

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.

Answer 1

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

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

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

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