Statements with nested quantifiers: variables with different domains. 0 about the domain for the first input variable to predicate t is a set of students at a university. the domain for the second input variable to predicate t is the set of math classes offered at that university. the predicate t(x, y) indicates that student x has taken class y. sam is a student at the university and math 101 is one of the courses offered at the university. give a logical expression for each sentence. (a) sam has taken math 101. solution a t(sam, math 101) (b) every student has taken at least one math class. solution vx ay t(x, y) (c) every student has taken at least one class besides math 101. (d) there is a student who has taken every math class besides math 101. (e) everyone besides sam has taken at least two different math classes. sam has taken exactly two math classes,