Proof by Wang’s Algorithm

(Eliminate ->)

Place the premises on the left-hand side separated by commas, and place the conclusion on the right hand side.

1. (P ^ (~P v Q)) => Q.

2. P, ~P v Q => Q.

3a. P, ~P => Q; 3b. P, Q => Q.

4a. P => Q, P;