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