> > じゃあどんなプログラムを作る？
> LK論法による論理式の恒等性を証明するﾌﾟﾛｸﾞﾗﾑ

そのLK論法による論理式の恒等性の証明とはなんだ？

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