> > そのLK論法による論理式の恒等性の証明とはなんだ？
> http://www.brl.ntt.co.jp/people/akihiro/hmath/LK.html
> こういった規則を使って
> 論理式の左右の真理値が常に等しい(恒等性がある)ことを証明するﾌﾟﾛｸﾞﾗﾑ

長いな(;´Д`)
無理

参考：2002/01/13(日)22時27分58秒