什么是谓词逻辑中的项
答案:1 悬赏:10 手机版
解决时间 2021-04-07 00:15
- 提问者网友：沉默菋噵
- 2021-04-06 02:56
什么是谓词逻辑中的项
最佳答案
- 五星知识达人网友：蓝房子
- 2021-04-06 03:02
谓词逻辑中的项指变项和常项，变项又分为自由变项和约束变项。
变项都用x、y、z表示（注意是小写），常项用小写a-w表示。
例如，所有人都会死
牛顿会死。
令所有人为x（所有人是无确定的对象，所以用变项来表示），牛顿为b（牛顿是具体的一个人，用常项表示），会死为B（大写字母）。
符号化B（x）
B（b）。
满意请采纳，谢谢。
变项都用x、y、z表示（注意是小写），常项用小写a-w表示。
例如，所有人都会死
牛顿会死。
令所有人为x（所有人是无确定的对象，所以用变项来表示），牛顿为b（牛顿是具体的一个人，用常项表示），会死为B（大写字母）。
符号化B（x）
B（b）。
满意请采纳，谢谢。
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯