查询结果
二阶逻辑
èr jiē luó jí
ㄦˋ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「二阶逻辑」是什么意思？
更新 2026-07-13 04:50:19
- 拼音字母er jie luo ji
- 首字母ejlj
- 注音符号ㄦ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
二阶逻辑允许有各种解释；它经常被认为包含在域的子集上，或在来自这个域到自身的函数上的量化，而不只是在这个域的个别成员之上。例如，如果这个域是所有实数的集合，通过如下书写你可以在一阶逻辑中断言每个实数的加性逆元的存在性但你需要使用二阶逻辑来断言实数的最小上界性质:并在点的位置插入一个陈述，如果 A 是非空并且它在 R 中有一个上界，则A 在 R 中有一个最小上界。在数理逻辑中，二阶逻辑是命题逻辑或一阶逻辑的扩展，它包含在谓词位置上（而不是像一阶逻辑那样只能在项的位置上）的变量，和约束它们的量词。所以： 我们可以表达关于 Jones 的二值原理： 对于所有性质，Jones 要么有它要么没有它。
拆字组词
相关词语
- 一扎脚儿查含义
- 九疑仙人查含义
- 二硫键查含义
- 伞花六道木查含义
- 伍懿查含义
- 八分仪查含义
- 农药制造查含义
- 化身姑娘查含义
- 原地跑步查含义
- 圣姑查含义
- 周文献查含义
- 回民支队查含义
- 太行小区街道查含义
- 宝马镇查含义
- 小城情缘查含义
- 巴尔的摩查含义
- 徐土明查含义
- 微根窗技术查含义
- 弄丢查含义
- 技术咨询查含义
- 我伙呆查含义
- 显脉木兰查含义
- 湖二村查含义
- 百八钟查含义
- 肝炎康复丸查含义
- 血海螳螂仇查含义
- 薪金查含义
- 谭少梅查含义
- 超人归来查含义
- 长谷川静香查含义
- 陶果查含义
- 降水季节特征查含义
- 陈永萍查含义
- 题诗查含义
- 飘细长蚁查含义
- 黄泥镇查含义
- 黑点海鲉查含义
- 鬼脚七查含义
- 黑部朋与查含义
- 井坂龙一郎查含义
- 花卉盆栽查含义
- 姬克查含义
- 红酒开瓶器查含义
- 鹤见知利子查含义
- 仙祭查含义
- 干贝炒鲜奶查含义
- 林朝权查含义
- 华丽鹿角珊瑚查含义
- 机器人乒乓球查含义
- 病原携带状态查含义