查询结果
二阶逻辑
èr jiē luó jí
ㄦˋ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「二阶逻辑」是什么意思?
更新 2026-07-19 02:28:28
- 拼音字母er jie luo ji
- 首字母ejlj
- 注音符号ㄦ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
二阶逻辑允许有各种解释;它经常被认为包含在域的子集上,或在来自这个域到自身的函数上的量化,而不只是在这个域的个别成员之上。例如,如果这个域是所有实数的集合,通过如下书写你可以在一阶逻辑中断言每个实数的加性逆元的存在性但你需要使用二阶逻辑来断言实数的最小上界性质:并在点的位置插入一个陈述,如果 A 是非空并且它在 R 中有一个上界,则A 在 R 中有一个最小上界。在数理逻辑中,二阶逻辑是命题逻辑或一阶逻辑的扩展,它包含在谓词位置上(而不是像一阶逻辑那样只能在项的位置上)的变量,和约束它们的量词。所以: 我们可以表达关于 Jones 的二值原理: 对于所有性质,Jones 要么有它要么没有它。
拆字组词
相关词语
- 九站乡查含义
- 充能齿轮查含义
- 切中时病查含义
- 南清河乡查含义
- 可更新资源查含义
- 可比价格查含义
- 吻与伤查含义
- 坎波查含义
- 塘冲村查含义
- 家庭养猫查含义
- 必要劳动查含义
- 張機查含义
- 怀空查含义
- 扔鞋姐查含义
- 旗舰版查含义
- 无性细胞瘤查含义
- 李园园查含义
- 枯球萝纹蛾查含义
- 极度空间查含义
- 步人查含义
- 武岳查含义
- 水荒查含义
- 沈彩霞查含义
- 温通查含义
- 生菜女士查含义
- 环保艺术栅栏查含义
- 王旭涛查含义
- 电力潮流查含义
- 疑病查含义
- 立轴查含义
- 粗壮山香圆查含义
- 窦龙斌查含义
- 莎车国查含义
- 血脂平胶囊查含义
- 谧静查含义
- 那时雨查含义
- 镀铜查含义
- 鬼嫁日记查含义
- 高雅查含义
- 鲜味大虾查含义
- 黑暗之盾查含义
- 东胜区教育局查含义
- 湛江海关查含义
- 海心沙站查含义
- 绝云查含义
- 穆雨姿查含义
- 第四代市场查含义
- 韩式凉拌海鲜查含义
- 杠上坏妹子查含义
- 风味酱油豆查含义