Translate the following inference to logic notation: It is overcast if and only if Patricia is curious. It is overcast if and only if Patricia is curious. Therefore Patricia is curious if and only if it is overcast.
p <-> q. p <-> q. Therefore q <-> p.