换名规则与替换规则
摘要：
做了几个例题之后，才对换名规则和代替规则有了一点新的理解。 之前我一直觉得这两个规则明明就可以作为一个的，都是换个符号，区别就是一个有约束一个没有约束而已。而事实上并不是这么简单。单纯从字面上看虽然是这样，但它们所表达的逻辑意义却是完全不同的。着这种区别的根源在于量词对符号的作用。 在没有量词约束的时候，一个符号表示一个固定的变量，整个式子中的这个符号都表示这个变量，无论怎样进行逻辑推演，它们始终是一个量。 而一旦加上了量词的约束，实际上这个变量某种意义上讲已经不存在了。或者更确切地应该说这个符号，和量词辖域外的相同符号已经没有任何关系了。它可以在本辖域内任意换名，这个符 号仅仅就表示一个名. 阅读全文
posted @ 2011-07-18 10:34 学而不思 阅读(3007) 评论(0) 推荐(0) 编辑