(a) translate the argument into symbolic form and (b) determine if the argument is valid or invalid. You may compare the argument to a standard form or use a truth table.
If Nicholas Thompson teaches this course, then I will get a passing grade.
I did not get a passing grade.
∴ Nicholas Thompson did not teach the course.