Translate the following inference to logic notation: Elisabeth is a doctor if and only if it is late. If Elisabeth were an electrician, then Elisabeth is a doctor. If Elisabeth were a doctor, then Elisabeth is an electrician. If it is late, then Elisabeth is a doctor. Elisabeth is not an electrician. Therefore it is not late.
p <-> q. r -> p. p -> r. q -> p. ~r. Therefore ~q.