Using a truth table a test the argument below for validity a

Using a truth table, (a) test the argument below for validity and (b) test its premises for truth-functional equivalence. Be sure to explain how the truth table you draw supports your verdicts (e.g., if the argument is invalid or the premises not equivalent, indicate which row(s) of the truth table show(s) this). [6 pts]

5.         (A C) ¬C

            A ¬C

            ¬(A C)

Solution

The truth table is given below:

The last two columns are equal stating that

A ¬C

= ¬(A C)

But not equal to first statement.

The first statement should have been :

~ [ (A -> C) v C ]