>>107と>>117でだいぶ言ってることが違ってる気がするけど。
>>116までを読む限り、公理系が完全なのは前提みたいな書き方だから
2^n通りを虱潰しに調べりゃ良いじゃないか、ということになる。

なんで命題論理の公理図式は一般に3つだと思うようになったのか知らないけど
その体系の公理図式が3つであるのは偶然で、大した意味は無いよ
メレディスの図式みたいに一個からトートロジーを全て導き出せるようなものもある

ウカシェヴィチの公理系から上の三つを頑張って示すか、
ウカシェヴィチの公理系が完全であることの証明が載ってる文献を探すのが一番近道だと思う。

＞ヒラメキなして自動的に判断するアルゴリズムが必要
そんなアルゴリズムあるのかなあ。そもそも無い可能性もある気がするけど。