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

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

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