Let B be the universal body of students at a university. Let S(x) stand for "x is smart". Y(x) stand for "y is young". C(x) stand for "x is a CS Major&q…

Question

Let B be the universal body of students at a university.

Let

S(x) stand for "x is smart".

Y(x) stand for "y is young".

C(x) stand for "x is a CS Major"

Translate the following sentences into quantified formulas.

1- All CS majors are smart

2- Some CS majors are smart and not young.

3- No young college students are CS majors.

Answer 1

Explanation:

Given that

S(x) stand for "x is smart".

Y(x) stand for "y is young".

C(x) stand for "x is a CS Major"

1) All CS majors are smart : C(x) ⇒ S(x)

2) Some CS majors are smart and not young.: There exists a∈C(x) such that a ∉ Y(x)

3) No young college students are CS majors.: ~Y(s)⇒CS(x)