SOLUTION: solve the proof: A ● ~A ∴ B

Question 1140648: solve the proof:
A ● ~A ∴ B
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


1.  A ● ~A   ∴ B
2.  A             1, simplification
3.  A v B         2, addition
4. ~A ● A         1, commutation
5. ~A             4, simplification
6. (A v B) ● ~A   3,5, conjunction
7.  B             6, disjunctive syllogism

Edwin

RELATED QUESTIONS
Use Indirect proof to solve the following: B ≡ (A • D) ~A ⊃ (~B ⊃ C) / A ∨... (answered by Edwin McCravy)

Please give me the written proof of... (answered by Fombitz)

How do you solve a proof using the "indirect method"? (answered by Alan3354)

COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF (10 PTS. (answered by Edwin McCravy)

Can anyone solve this proof? A -> B A v(c . D) ~B . ~E /... (answered by )

Solve the following proof: 1. A⊃B 2. B⊃~A 3. (AvD)vE 4. (DvE)->F /... (answered by Edwin McCravy)

How do you solve this proof? A . B (A v C) -> D / A .... (answered by )

Complete the proof (a exponent3 + b exponent 3)*(a+b)=a exponent2 - ab+b exponent... (answered by solver91311)

Natural Deduction How do I solve the proof: 1. (Av~B)⊃((A�C)⊃B) 2. ~B (answered by Edwin McCravy)