Translate the following inference to logic notation: If Jennifer were an artist, then Jessica is a soldier. If Jessica were a soldier, then Jennifer is an artist. Jennifer is an artist if and only if Jessica is a soldier. Therefore Jennifer is an artist if and only if Jessica is a soldier.
p -> q. q -> p. p <-> q. Therefore p <-> q.