Translate the following inference to logic notation: It is late. Patricia is a sailor if and only if Linda is cooking. For all x, x_16 is a sailor if and only if x_16 is an artist. For all x, x will not cook. Therefore Patricia is not an artist and it is late.
p. P(a) <-> Q(b). forall x: P(x) <-> R(x). forall x: ~Q(x). Therefore ~R(a) and p.