Translate the following inference to logic notation: Barbara is playing tennis if and only if Joseph is climbing a mountain. Joseph is climbing a mountain or Barbara is not playing tennis. Therefore Barbara is playing tennis if and only if Joseph is climbing a mountain.
p <-> q. q or ~p. Therefore p <-> q.