THEOREM
*******
A & B => [A
=> B] (Truth
Table, Line 1)
PROOF
*****
Suppose...
1 A & B
Premise
Suppose...
2 A
Premise
3 A
Split, 1
4 B
Split, 1
Apply Conclusion Rule
(Direct Proof)
5 A => B
4 Conclusion, 2
Apply Conclusion Rule (Direct Proof)
As Required:
6 A & B => [A => B]
4 Conclusion, 1