Translate the following inference to logic notation: Thomas is bored or Robert is taking a plane. For all x, if x_8 were a server, then x_8 is taking a plane. If Thomas were bored, then Robert is a server. For all x, if x_8 takes a plane, then x_8 is a server. Therefore Robert is a server.
p or P(a). forall x: Q(x) -> P(x). p -> Q(a). forall x: P(x) -> Q(x). Therefore Q(a).