More Complex Proofs 1. TvP A 2. -P A T GOAL
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
More Complex Proofs 1. TvP A 2. -P A 3. T PA T GOAL T>T 3-? >I P>T GOAL T 1,?,? vO
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
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
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 8. -T PA ?&-? T 8-? -O P>T 7-? >I T 1,6,? vO
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 8. -T PA 9. P&-P 7,2 &I 10. T 8-9 -O 11. P>T 7-10 >I 12. T 1,6,11 vO
More Complex Proofs 1. T PA T GOAL T>T 1-3 >I
More Complex Proofs 1. T PA 2. T&T 1,1 &I 3. T 2 &O
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