Translate the following inference to logic notation: Linda is a nurse if and only if James is driving a car. Linda is a nurse if and only if James is driving a car. Therefore Linda is a nurse if and only if James is driving a car.
p <-> q. p <-> q. Therefore p <-> q.