查询结果
谓词演算
wèi cí yǎn suàn
ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
「谓词演算」是什么意思？
更新 2026-07-11 11:09:49
- 拼音字母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))表示存在有叶子的树，∃这里是存在量词，表示“至少存在一个”。
拆字组词
相关词语
- 兔子怪查含义
- 公益大使查含义
- 关翠杏查含义
- 勋带查含义
- 卡帕纽斯查含义
- 卫天鹏查含义
- 可变利率查含义
- 在盛夏等待查含义
- 大杉涟查含义
- 导致查含义
- 小净距隧道查含义
- 彻底失败查含义
- 张金阳查含义
- 披散直茎蒿查含义
- 昂贵生活查含义
- 敦世厉俗查含义
- 擂鼓艻属查含义
- 林华亮查含义
- 杨学群查含义
- 柴油机尾气查含义
- 游船查含义
- 热压伤查含义
- 爱如潮水查含义
- 焦粕衣查含义
- 燕顷侯查含义
- 独掌轮回查含义
- 王彦立查含义
- 琥珀型突变查含义
- 电视节目编辑查含义
- 粉面含春查含义
- 童学锋查含义
- 融释贯通查含义
- 迦南公寓查含义
- 韩真真查含义
- 香魂查含义
- 鼓山中学查含义
- 齐云山蝇子草查含义
- 魏裔介查含义
- 黄牛神查含义
- 魔法龙帕夫查含义
- 三亚南枫客栈查含义
- 富顺县公安局查含义
- 缘下力查含义
- 动漫园林查含义
- 死神姬的再婚查含义
- 赶尸道长查含义
- 肖杰伊查含义
- 太平欢查含义
- 变隐苔藓虫属查含义
- 纤齿柏那参查含义