I’m working on a practice question on my logic textbook. And I’m stuck at this question.
This is what I have so far:
1. ~(P & Q) Assumption/ Negated Eelimination 2. P Assumption/Negated Introduction 3. Q Assumption/Negated Introduction 4. P&Q 2,3 conjunction Introduction 5. ~(P&Q) 1 Reteration 6. ~Q 2-5 Negated Introduction
Now, as long as I can derive a Q, then I will be able to Derive (P&Q) I’m wondering if some one can give me some insight.
Thanks in Advance