SOLUTION: Use a premise-free proof to prove: [(P ⊃ Q) & P] ⊃ Q

Algebra ->  Proofs -> SOLUTION: Use a premise-free proof to prove: [(P ⊃ Q) & P] ⊃ Q      Log On


   

Question 1171796: Use a premise-free proof to prove: [(P ⊃ Q) & P] ⊃ Q
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!


1.:: [(P --> Q) & P ]          Conditional proof (CP) assumption #1

2.:: P                         1  Simplification (SIMP)

3.:: (P --> Q)                 1  SIMP

4.:: Q                         2,3 Modus Ponens (MP)

5.:: [(P --> Q) & P ] --> Q    1-4, CP 

6. [(P --> Q) & P ] --> Q      1-5, CP (discharges CP assumptions)