1- (16 points) Let the universe consits of all people, and consider the following hypotheses: - Some students like all teachers. - No student likes any dishonest perscn. Using first-order logic prove that "no teacher is dishonest". Use, S(x):x is student T(x):x is teacher D(x):x is dishonest L(x,y):x likes y 2-(7 points) Using symbolic notation (set-builder notation) prove that A(BC)=(AB)(AC)