This is where I’ve gotten so far. I’ve proven it from left to right but I’m getting some trouble proving it from right to left. I’m trying to reach the conclusion by double negation.
I’m trying to reach the conclusion by double negation.
Well, you might do that, but it is not indicated. You have a premise that is a disjunction and a conclusion that is a conditional.
You will want to use a Conditional Proof to introduce the conditional, so assume A attempting to derive B.
You will want to use a Proof by Cases to eliminate the disjunction in the premise. So do that .
1 (1) ~A v B Premise 2 (2) A Assumption 3 (3) ~A Assumption ... (4) ... ... 2,3 (5) B ... 4 (6) B Assumption 1,2 (7) B Disjunction Elimination 1,2-5,6-6 1 (8) A -> B Conditional Introduction 2-7