查询结果
谓词演算
wèi cí yǎn suàn
ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
「谓词演算」是什么意思？
更新 2026-07-12 10:38:56
- 拼音字母wei ci yan suan
- 首字母wcys
- 注音符号ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
扩展释义
谓词演算是数理逻辑最基本的形式系统，其又被称为一阶逻辑。一个可以回答真假的命题，不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词。个体表示某一个物体或元素，量词表示数量，谓词表示个体的一种属性 。例如用P(x)表示x是一棵树，则P(y)表示y是一棵树，用Q(x)表示x有叶 ，则Q(y)表示y也有叶。这里P、Q是一元谓词，x，y是个体，公式"∀(P(x)→Q(x))表示每一棵树都有叶子 ，这里"是全称量词表示“每一个” 。公式∃ x(P(x)∧Q(x))表示存在有叶子的树，∃这里是存在量词，表示“至少存在一个”。
拆字组词
相关词语
- 九顶草属查含义
- 免税店查含义
- 净水材料查含义
- 凤玲查含义
- 刘若冰查含义
- 北高庄村查含义
- 南上岗村查含义
- 卢永信查含义
- 双瞳孔查含义
- 吴汝梅查含义
- 周郎顾查含义
- 嘉源查含义
- 四碳植物查含义
- 城市污水处理查含义
- 喜盐黄耆查含义
- 实物量法查含义
- 孟宪强查含义
- 定型机查含义
- 拜相封侯查含义
- 慕容美查含义
- 打定查含义
- 摆钟查含义
- 木桶三国查含义
- 流水账查含义
- 浮文套语查含义
- 热得快查含义
- 炽热的心查含义
- 炒米饭查含义
- 爱上女上司查含义
- 王泊文查含义
- 甘宏查含义
- 电子传递链查含义
- 白石渡镇查含义
- 盼盼茶茶查含义
- 矫情饰诈查含义
- 程国顺查含义
- 自谋职业查含义
- 遒劲查含义
- 龙禧苑二区查含义
- 闪雷之剑查含义
- 不破产查含义
- 卡马里查含义
- 中国饭查含义
- 韩子卢查含义
- 朝鲜白连翘查含义
- 白领圆尾鹱查含义
- 沙鳅楚克拉虫查含义
- 孙博威查含义
- 美拉德反应查含义
- 系统红斑狼疮查含义