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