THIS IS USING C++ Pay special attention to the style of your code. Indent your c

Question

THIS IS USING C++

Pay special attention to the style of your code. Indent your code correctly, choose meaningful names for your variables, define constants where needed, choose most suitable control statements, etc.

Question 9: Let: S(x) be the predicate "X is a student” F (x) the predicate “x is a faculty member. A(x, y) the predicate "x has asked y a question Where the domain consists of all people associated with your school Use quantifiers to express each of these statements. a) Lois has asked Professor Michaels a question. b) Every student has asked Professor Gross a question. c) Some student has not asked any faculty member a question. d) There is a faculty member who has never been asked a question by a student. e) Some student has asked every faculty member a question. f) Some student has never been asked a question by a faculty member.

Explanation / Answer

a) A(Lois,Michaels)
b) Forall x (S(x) --> A(x,Gross))
c) Threrexist x Forall y(S(x) and F(y)--->Not A(x,y))
d) Forall x Thereexist y (S(x) and F(y)--->Not A(x,y))
e) Thereexist x Forall y (S(x) and F(y)--->A(x,y))
f) Thereexist x Forall y(S(x) and F(y)--->not A(y,x))

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

---

---

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