Translate the following inference to logic notation: Sarah is a taxi driver if and only if it is cold. If Sarah were a taxi driver, then it is cold. Sarah is a taxi driver or it is not cold. Therefore it is cold if and only if Sarah is a taxi driver.
p <-> q. p -> q. p or ~q. Therefore q <-> p.