Translate the following inference to logic notation: Thomas is an electrician if and only if it is windy. If Thomas were an electrician, then it is windy. If it is windy, then Thomas is an electrician. Therefore it is windy if and only if Thomas is an electrician.
p <-> q. p -> q. q -> p. Therefore q <-> p.