Problem 26 of Supplementary Exercises of Chapter 1
Express the statement .Every student in this class has taken some course in every department in the school of mathematical sciences. s = student c = course d = department P(s,c) s is a student of c Q(c,d) c is a course in d Vs 3c Vd (P(s,c) ^ Q(c,d))