I have ~(P&Q) and I want to get ~P v ~Q(adsbygoogle = window.adsbygoogle || []).push({});

(& means and)

(v means or)

Am I right in thinking that I can:

1.~(P&Q) Main assumption

Sub derivation

2..Assume P&Q

3.Reiterate ~(P&Q)

End sub derivation

4.Then do 1-2, ~I (negation elimination) to get ~P

5.then do vI (disjunction introduction) (to number 4) to get ~P v ~Q

I'm confused on how exactly to extract ~P from the negation ~(P&Q). My text book completely ignores it.

Is my method correct?

(Mods I didn't know where to put this. I'm thinking it isn't here)

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Symbolic Logic (quick easy question)

**Physics Forums | Science Articles, Homework Help, Discussion**