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 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) About Me  (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