7. Let P(x) has come", Q(x) -the north likes x". The universe of x is seasons. Rewrite the following predicates in words: (b) (-P(x)^ Q(x))VP(z) 8. Let P() is cold", Q(r, y)-"x is y". The universe of z is seasons, and the universe of y is ["coming", "going". Rewrite the following predicates symbolically: (a) "Winter is cold, and winter is coming" (b) "If winter is coming, then summer is going