Translate the following inference to logic notation: Jessica is a lawyer and Jennifer is a police officer. David is listening to a song if and only if Jessica is a lawyer. Therefore David is listening to a song.
p and q. r <-> p. Therefore r.