Translate the following inference to logic notation: Linda is a carpenter if and only if Charles is climbing a mountain. John is a sailor if and only if Charles is climbing a mountain. John is a sailor or Linda is a carpenter. Therefore Charles is climbing a mountain.
p <-> q. r <-> q. r or p. Therefore q.