Translate the following inference to logic notation: It is snowing if and only if Jessica is a soldier. If it snows, then Jessica is a soldier. Jessica is a soldier. Therefore it is snowing.
p <-> q. p -> q. q. Therefore p.