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

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

Question 1142575: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas.
~(P · ~Q) ∴ P ⊃ Q

Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1.  ~(P · ~Q)         ∴ P ⊃ Q

 2.  ~P ∨ ~~Q          1, DeMorgan's law
 3.  ~P ∨ Q            2, double negation
 4.  P ⊃ Q             3, material implication 

Edwin

RELATED QUESTIONS
Solve this proof below with formal proof these are all valid arguments. All premises are (answered by math_helper)

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)

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

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

What is the Formal Proof for P v (Q ^... (answered by lynnlo)

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

i need help for the following ,,,need to construct a formal proof for the following... (answered by Edwin McCravy)

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