3.1 谓词的概念与表示基本概念命题逻辑把简单命题作为最基本的单元，不再往下分析。比如说命题 P “π是无理数”和命题 Q “无理数是实数”这两个命题，在命题逻辑的范畴内是找不到什么联系的。谓词逻辑继续拆分命题，把命题拆为“π”、“...是无理数”、“...是实数”这些结构，可以得出命题 R “π是实数”这种命题。其中“...是无理数”、“...是实数”称为谓词。在进入谓词逻辑之前，我们先明确谓词
Copyright © 2005-2024 51CTO.COM 版权所有 京ICP证060544号
