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
hence this premise is true.
The final table is:
Thus, the proposition is valid.
| A | C | A->C | ~C | (A->C)v~C |
| F | F | T | T | T |
| F | T | T | F | T |
| T | F | F | T | T |
| T | T | T | F | T |
