Translate the following inference to logic notation: David is an astronaut or it is windy. For all x, x_6 is not a bartender. For all x, if x_6 were an astronaut, then x_6 is a bartender. Therefore it is windy.
P(a) or p. forall x: ~Q(x). forall x: P(x) -> Q(x). Therefore p.