a) Using long or short truth tables (symbolize as necessary and show tables) determine and state whether the following argument is valid, briefly explaining your table; and b) if valid, demonstrate validity by deductions using Group I rules.

Question

Arg

If Peter is perceptive, then Quincy is a quack. Quincy, however, is not a quack. So Peter's not perceptive. (Hint: this is a valid argument)