SOLUTION: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas. ~P, ~Q ∴ ~(P ∨ Q)

Algebra ->  Proofs -> SOLUTION: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas. ~P, ~Q ∴ ~(P ∨ Q)       Log On


   

Question 1142574: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas.
~P, ~Q ∴ ~(P ∨ Q)
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!


1.  ~P        Premise

2.  ~Q        Premise

3.  ~P & ~Q   1,2 Conjunction (CONJ)

4.  ~(P v Q)  3 DeMorgan's (DeM)