离散数学 谓词逻辑

谓词逻辑 基本概念 个体词： 可独立存在的客体 谓词： 用来说明个体的性质与个体间的关系，可分为一元谓词、二元谓词、n元谓词。 考点： 命题的谓词表达式 区分：个体常元与个体变元 分别对应着谓词常项与谓词变项（命题函数）。 eg: A(a) , H(a,b) 对比 A(x) , H(x,y) 个体域个体变动的取值范围 量词： 1、全称量词： ∀ {\forall} ∀ 表示”所有的“、”每一个“、

>>阅读原文<<