查询结果
二阶逻辑
èr jiē luó jí
ㄦˋ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「二阶逻辑」是什么意思?
更新 2026-07-15 22:08:54
- 拼音字母er jie luo ji
- 首字母ejlj
- 注音符号ㄦ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
二阶逻辑允许有各种解释;它经常被认为包含在域的子集上,或在来自这个域到自身的函数上的量化,而不只是在这个域的个别成员之上。例如,如果这个域是所有实数的集合,通过如下书写你可以在一阶逻辑中断言每个实数的加性逆元的存在性但你需要使用二阶逻辑来断言实数的最小上界性质:并在点的位置插入一个陈述,如果 A 是非空并且它在 R 中有一个上界,则A 在 R 中有一个最小上界。在数理逻辑中,二阶逻辑是命题逻辑或一阶逻辑的扩展,它包含在谓词位置上(而不是像一阶逻辑那样只能在项的位置上)的变量,和约束它们的量词。所以: 我们可以表达关于 Jones 的二值原理: 对于所有性质,Jones 要么有它要么没有它。
拆字组词
相关词语
- 东川镇查含义
- 云天之上查含义
- 低级路面查含义
- 南疆铁路查含义
- 吴子来查含义
- 如来藏查含义
- 大丰煤矿查含义
- 大格村查含义
- 对节叶查含义
- 客家迷情查含义
- 孙民查含义
- 尖叶梣查含义
- 峨眉无尾果查含义
- 彭慧中查含义
- 廉石传奇查含义
- 张元鑫查含义
- 恶鬼凤凰查含义
- 扁竹兰查含义
- 投影查含义
- 戴启文查含义
- 时时乐查含义
- 朱培钧查含义
- 曹新文查含义
- 杨晓岗查含义
- 欧氏几何查含义
- 林菲查含义
- 泡泡果实查含义
- 深海巨怪查含义
- 用墨查含义
- 特鲁克泻湖查含义
- 琴师查含义
- 玻璃花蛋球查含义
- 田磊查含义
- 知青家庭查含义
- 程楼查含义
- 胡学凡查含义
- 言不顾行查含义
- 辖制查含义
- 阴魂之刃查含义
- 陶凯查含义
- 马家湾乡查含义
- 马里兰杨查含义
- 屿东城站查含义
- 西街派出所查含义
- 破戒王查含义
- 康熙后宫查含义
- 香烤章鱼爪查含义
- 浓汁苹果鱼查含义
- 斑野螟蛾查含义
- 紫色翼魟查含义