Translate the following inference to logic notation: Elisabeth is taking a plane or Robert is not playing squash. Elisabeth is taking a plane if and only if Robert is playing squash. Therefore if Elisabeth takes a plane, then Robert is playing squash.
p or ~q. p <-> q. Therefore p -> q.