推荐文档列表
复合谓词的逻辑系统
有两类不同的谓词:性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词,构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。...