How do we show that without giving a derivation?
I know that the derivation for is trivial, but the derivation of is pretty long. But the question is how to show that without presenting a derivation. How can we do that? Any help and suggestions are greatly appreciated.
The system L: http://img405.imageshack.us/img405/4208/systemli.jpg
The converse of the Deduction theorem is, of course, just an application of Modus Ponens.
Weak completeness theorem says that all tautologies are derivable. In contrast, strong completeness theorem says that all logical consequences of an arbitrary set of formulas are derivable from this set. One gets weak completeness when the set of formulas is empty. Therefore, it is enough to use strong completeness theorem here.
Edit: Strong completeness follows trivially from weak completeness for a finite set of assumptions because they can be turned into premises of an implication.