Translate the following inference to logic notation: If it rains, then it is snowing. If Linda were a cashier, then John is a doctor. If it snows, then Linda is a cashier. If John were a doctor, then it is raining. Therefore it is raining if and only if John is a doctor.
p -> q. r -> s. q -> r. s -> p. Therefore p <-> s.