Suppose that variable x represents students and variable y represents courses. U

Question

Suppose that variable x represents students and variable y represents courses. Use the predicates F(x):x is a freshman S(x): x is a sophomore, A(y): y is an advanced course, T(x,y): student x is taking course y and any needed quantifiers and logical operators in order to translate the following statements into logical expressions. There is a course that every freshman is taking. No freshman is a sophomore. Some freshman is taking an advanced course. Not all students who take an advanced course are sophomores.

Explanation / Answer

a) There exists a course y, such that for for every x T(x,y) is true

b) for all x, such that f(x) is a freshman, ~S(x)

c) for some x,y , f(x) & T(x,y) & A(y)

d) for some course y, A(y) & ( F(x) OR S(x) )

Related Questions

Navigate

• Browse (All)
• Browse S
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.