Let D be the set of all students at your school, and let M(s) be s...

Transcribed Image Text:

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 student," and let E(s) be "s is an engineering student." Express each of the following statements using quantifiers, variables, and the predicates M(s), C(s), and E(s). (a) There is an engineering student who is a math major. O VSED, E(s) A M(s) OVSED, E(s) A ~M(s) O3SED such that E(s) A ~M(s) O 3SED Such that E(s) A ~M(s) O VSED, ~E(s) A ~M(s) O 3SED Such that E(s) A M(s) (b) Every computer science student is an engineering student. O ISED Such that C(s) → E(s) O VSED, NC(s) NE(s) O VSED, E(s) → C(s) O VSED, C(s) → E(s) O 3SED such that C(s) E(s) O 3SED Such that E(s) - C(s) (c) No computer science students are engineering students. O 3SED Such that ~C(s) → E(s) O 3SED Such that E(s) - C(s) O VSED, C(s) → NE(s) O VSED, ~E(s) C(s) O 3SED such that C(s) - ~E(s) O VSED, ~C(s) → E(s) (d) Some computer science students are also math majors. O VSED, C(s) → M(s) O 3SED Such that C(s)A M(s) O ISED Such that C(s)A ~M(s) O VSED C(s) A ~M(s) O VSED, C(s) A M(s) O ISED such that C(s) A M(s) A E(s) (e) Some computer science students are engineering students and some are not. (V SED, C(s) A E(s)) A (V SED, C(s) a ~E(s)) O VSED, C(s) → (E(s) A NE(s)) O (3SED such that C(s) A E(s)) A (3 s ED such that C(s) A NE(s)) O (3SED such that C(s) A E(s)) A (3 s ED such that E(s) A NE(s)) O 3SEDSuch that C(s) → (E(s) A NE(s)) 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 student," and let E(s) be "s is an engineering student." Express each of the following statements using quantifiers, variables, and the predicates M(s), C(s), and E(s). (a) There is an engineering student who is a math major. O VSED, E(s) A M(s) OVSED, E(s) A ~M(s) O3SED such that E(s) A ~M(s) O 3SED Such that E(s) A ~M(s) O VSED, ~E(s) A ~M(s) O 3SED Such that E(s) A M(s) (b) Every computer science student is an engineering student. O ISED Such that C(s) → E(s) O VSED, NC(s) NE(s) O VSED, E(s) → C(s) O VSED, C(s) → E(s) O 3SED such that C(s) E(s) O 3SED Such that E(s) - C(s) (c) No computer science students are engineering students. O 3SED Such that ~C(s) → E(s) O 3SED Such that E(s) - C(s) O VSED, C(s) → NE(s) O VSED, ~E(s) C(s) O 3SED such that C(s) - ~E(s) O VSED, ~C(s) → E(s) (d) Some computer science students are also math majors. O VSED, C(s) → M(s) O 3SED Such that C(s)A M(s) O ISED Such that C(s)A ~M(s) O VSED C(s) A ~M(s) O VSED, C(s) A M(s) O ISED such that C(s) A M(s) A E(s) (e) Some computer science students are engineering students and some are not. (V SED, C(s) A E(s)) A (V SED, C(s) a ~E(s)) O VSED, C(s) → (E(s) A NE(s)) O (3SED such that C(s) A E(s)) A (3 s ED such that C(s) A NE(s)) O (3SED such that C(s) A E(s)) A (3 s ED such that E(s) A NE(s)) O 3SEDSuch that C(s) → (E(s) A NE(s))

Answer rating: 100% (QA)

a There is an Engineering student who is a maths major This is an Existentiality The statement can r... View the full answer