1.  ~P        Premise

2.  ~Q        Premise

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

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



 

RELATED QUESTIONS

Solve this proof below with formal proof these are all valid arguments. All premises are... (answered by Edwin McCravy)

Solve this one proof below with formal proof (these are all valid arguments). all... (answered by Edwin McCravy)

I have 3 questions on my exercise that really have me stumped.
Here are the directions... (answered by jim_thompson5910)

Hello,

Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)

Construct a formal proof of validity for the following arguments by means of Natural... (answered by mccravyedwin)

I need help on this problem. I don't understand how to do proofs and I need all the help... (answered by Edwin McCravy)

I need a Formal Logical Proof for the following (I know it is valid):

(P1)... (answered by jim_thompson5910)

Very confused with this proof, any help would be appreciated!! 
Conditional Proof - can... (answered by jim_thompson5910)