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