Translate the following inference to logic notation: If Jennifer were bored, then Michael is climbing a mountain. If Michael climbs a mountain, then Jennifer is bored. If Michael climbs a mountain, then Jennifer is bored. Therefore Jennifer is bored if and only if Michael is climbing a mountain.
p -> q. q -> p. q -> p. Therefore p <-> q.