Translate the following inference to logic notation: For all x, y is a carpenter. For all x, y is a mechanic. Therefore for all x, y is a mechanic and y is a carpenter.
forall x: P(x). forall x: Q(x). Therefore forall x: Q(x) and P(x).