1. More Complex Proofs
1. TvP A
P A
T GOAL

2. More Complex Proofs 1. TvP A A v B 2. -P A G T>T GOAL P>T GOAL
T 1,?,? vO
A v B G

3. More Complex Proofs 1. TvP A 2. -P A 3. T PA T GOAL T>T 3-? >I
P>T GOAL
T 1,?,? vO

4. More Complex Proofs 1. TvP A 2. -P A 3. T PA 4. T&-P 3,2 &I 5. T 4 &O
6. T>T 3-5 >I
P>T GOAL
T 1,6,? vO

5. More Complex Proofs 1. TvP A 2. -P A 3. T PA 4. T&-P 3,2 &I 5. T 4 &O
6. T>T 3-5 >I
7. P PA
T GOAL
P>T 7-? >I
T 1,6,? vO

6. More Complex Proofs 1. TvP A 2. -P A 3. T PA 4. T&-P 3,2 &I 5. T 4 &O
6. T>T 3-5 >I
7. P PA
T PA
?&-?
T 8-? -O
P>T 7-? >I
T 1,6,? vO

7. More Complex Proofs 1. TvP A 2. -P A 3. T PA 4. T&-P 3,2 &I 5. T 4 &O
6. T>T 3-5 >I
7. P PA
T PA
9. P&-P 7,2 &I
10. T O
11. P>T 7-10 >I
12. T 1,6,11 vO

8. More Complex Proofs
1. T PA
T GOAL
T>T 1-3 >I

9. More Complex Proofs 1. T PA 2. T&T 1,1 &I 3. T 2 &O

10. For more click here More Complex Proofs 1. T PA T>T 1-1 >I
The antecedent of T>T appears at the top of the box.
The consequent of T>T appears at the bottom of the box.
So this is a legal use of >In.
For more click here