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 - The Fusion of Science and Community**

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)

Loading...

Similar Threads for Symbolic Logic quick | Date |
---|---|

Symbolic logic help (proofs) | Oct 17, 2010 |

Symbolic logic help please, please! | Nov 15, 2007 |

Need help with verification of 5 symbolic logic sentences | Nov 9, 2007 |

Symbolic Logic - Help | Nov 22, 2004 |

**Physics Forums - The Fusion of Science and Community**