Translate the following argument into symbolic form. Then determine whether the argument is valid or invalid. If the train is on time, then I will get to work by 9:00. I do not get to work by 9:00. Therefore, the train is not on time.
a. Write the statement in symbolic form.