SOLUTION: Solve the following proof: 1. A -> B 2. B -> ~A 3. (A v D) v E 4. (D v E) -> F / F

Algebra ->  Proofs -> SOLUTION: Solve the following proof: 1. A -> B 2. B -> ~A 3. (A v D) v E 4. (D v E) -> F / F       Log On


   

Question 1143701: Solve the following proof: 1. A -> B
2. B -> ~A
3. (A v D) v E
4. (D v E) -> F / F

Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!

The proof can not be completed, as the premises lead to a contradiction. 


1. A -> B

2. B -> ~A

3. (A v D) v E

4. (D v E) -> F

5. :: A         Conditional Proof (CP) assumption

6. :: B         5,1 Modus Ponens (MP)

7. :: ~A        6,2 MP

8. :: A & ~A    5,7 Conjunction (CONJ), END OF PROOF (contradiction reached)