a) Using long or short truth tables (symbolize as necessary and show tables) determine and state whether the following arguments are valid, briefly explaining your table; and b) if valid, demonstrate validity by deductions using Group I rules.
Arg
1. P-->Q
2. ~P ^:~Q
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)
This logical argument is valid under the following condition.
If and only if Peter is perceptive, then Quincy is a quack. Quincy, however, is not a quack. So Peter's not perceptive.
Truth table
PP QQ
T T
F F
I have no idea what you mean by group I rules.