Translate the following inference to logic notation: For all x, x_1 will not write a letter. Thomas is writing a letter if and only if Patricia is drinking water. Patricia is drinking water or Thomas is not writing a letter. Therefore Patricia is not drinking water.
forall x: ~P(x). P(a) <-> p. p or ~P(a). Therefore ~p.