Proof Exercise I - Proof #4

 

Instructions: Use the following form to submit completed proofs. Use ">" for the horseshoe and "iff" for the triplebar.  You may not need all the lines (or in some cases even most of them) provided.

Name:
E-mail:
Prove:  B v ~A
line # wff rule of inference line(s) cited
1. A � (C v D) premise
2. ~(C v D) premise
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

 

Return to Proofs I