Consider the following argument Everyone in this discrete ma

Consider the following argument. Everyone in this discrete mathematics class has taken a course in computer science. Roger is a student in this class. Thus, Roger has taken a course in computer science.

(a) Express the argument symbollically.

(b) Prove the argument or explain why it is invalid.

Solution

(a) (p->q) ^ p -> q . Here p represents taking a discrete mathematics course, q represents a computer science course.

(b) The arguement is true. Proof via truth table

But in this we are given that p is true. So:

From the table we can clearly see that p^(p->q) is same as q.