Translate the following inference to logic notation: For all x, y_4 is an artist if and only if y_4 is fast. Linda is an artist if and only if Linda is fast. Therefore Linda is fast if and only if Linda is an artist.
forall x: P(x) <-> Q(x). P(a) <-> Q(a). Therefore Q(a) <-> P(a).