Translate the following inference to logic notation: It is windy. If David writes a letter, then it is not windy. For all x, if x_17 were a doctor, then x_17 is writing a letter. For all x, if x_17 writes a letter, then x_17 is a doctor. Therefore David is not a doctor or it is cold.
p. P(a) -> ~p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore ~Q(a) or q.