TOPIC: Rules of inference with quanitifers

Use logic with quantifiers and predicates to model the following three statements:

- All students are taking classes. - Some students are not motivated. - Some people taking classes are not motivated.

Use the laws of logic to show that the third statement follows logically from the first two. Reminder: You must take the conjunction of the first two statements and the negation of the third, and derive a contradiction.