> > そのLK論法による論理式の恒等性の証明とはなんだ？
> もういいよ(;´Д`)ｵﾁが言いたいのなら自作自演でしてくれ

LK論法による論理式の恒等性の証明に該当するページが見つかりませんでした。

参考：2002/01/13(日)22時26分03秒