kenneth h rosen chapter 1 excercise 1.4 predicates ad quantifiers question 59 symbolic logic

Question

Let P (x), Q(x), and R(x) be the statements

“x is a professor,” “x is ignorant,” and “x is vain,” respectively.

Express each of these statements using quantifiers; logical connectives; and P (x), Q(x), and R(x), where the
domain consists of all people.

a) No professors are ignorant.
b) All ignorant people are vain.
c) No professors are vain.
d) Does (c) follow from (a) and (b)

what is the soution of d) cause i did not understand what the d) says?

Comments

in simple terms, question D is asking,  (A ^ B) -> C

---

means exactly how to solve this types of questions ?

Answer 1

Question d mean simply (a^b)->C.