Translate the following inference to logic notation: If it is late, then Charles is working. If Charles works, then it is late. William is an artist if and only if it is late. For all x, x is not an artist. Therefore Charles is not working.
p -> q. q -> p. P(a) <-> p. forall x: ~P(x). Therefore ~q.