Translate the following inference to logic notation: For all x, x_7 is excited if and only if x_7 is a janitor. David is excited if and only if Susan is a musician. David is not a janitor. Therefore Susan is not a musician.
forall x: P(x) <-> Q(x). P(a) <-> p. ~Q(a). Therefore ~p.