Translate the following inference to logic notation: For all x, x_7 will climb a mountain if and only if x_7 will take a plane. Susan is not a police officer. Linda is climbing a mountain if and only if Susan is a police officer. Therefore Linda is not taking a plane.
forall x: P(x) <-> Q(x). ~p. P(a) <-> p. Therefore ~Q(a).