Question

Let D be the set of all students at GSU students, and let M(s) be 's is a math major," let C(s) be s is a computer science student," and let E(s) be "s is an engineering student." Express each statement using quantifiers, variables, and the predicates M(s), C(s), and E(s). a. No computer science students are engineering students. b. Some computer science students are also math majoers.

Answer 1

Explanation:

Recall the logic quantifiers
`\forall, \exists` which means for all/for every and exists.

a) This means that for every student in D that is a computer science this implies that the student is not an engineering student. So for a student s in D such that C(s) then E(s) is false. This is symboled by

`\forall s \in D C(s) \implies \\eg E(s)`

b) By saying "some computer science students" this means that there exists some studenst that study computer science and are also math majors. This is symboled by

`\exists s \in D C(s)\land M(s)`