> > LK論法による論理式の恒等性を証明するﾌﾟﾛｸﾞﾗﾑ
> そのLK論法による論理式の恒等性の証明とはなんだ？

もういいよ(;´Д`)ｵﾁが言いたいのなら自作自演でしてくれ

参考：2002/01/13(日)22時24分30秒