Adjunction
Premise 1. P
Premise 2. Q
Conclusion. P & Q
Converted by
Mathematica
October 4, 2001