when reading Hilbert-style deduction system, I find that there actually exist some interchangable relation between axiom and inference rules.
that is to say, we can transform some axiom into inference rules, and vice versa.
2008年10月10日星期五
订阅:
博文评论 (Atom)
没有评论:
发表评论