发帖
雷达卡
命题逻辑不足 例：第四章 一阶逻辑基本概念 § 4.1 一阶逻辑符号化 一、命题分解 命题(陈说句）＝ 主语 和 谓语 ＝ 个体 和 谓词 分解为： 对象 及 对象性质、特征及关系 来讨论命题逻辑所不能反应命题内在联络及其微观结构二、谓词 1.个体 个体词是指所研究对象中能够独立存在详细或抽象客体 1）普通用小写字母表示：x,y,z,s,t …. 2）个体常元和个体变元 详细个体或 a,b,c…。 个体变元x,y,z..变元 3）个体域（个体取值范围） 全总个体域
2．谓词：谓词是用来刻划个体词性质及个体词之间相互关系词 1) 谓词普通用大写字母表示：F、H、L、G 2)谓词所关联个体个数 谓词所关联个体个数是一个－称该谓词为一元谓词－F(x)、G(x) F(x)：x是人 G(x)：x是整数 D(x):x是要死 谓词所关联个体个数是两个－称该谓词为二元谓词－L(x,y) L(x,y)：x > y H(x,y):x比y跑快 谓词所关联个体个数是三个－称该谓词 ...
京公网安备 11010802022788号
