Translate the following inference to logic notation: Joseph is writing a letter. Therefore there is at least one x for which y will write a letter or y will drink water.
P(a). Therefore exists x: P(x) or Q(x).