弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
二阶逻辑允许有各种解释；它经常被认为包含在域的子集上，或在来自这个域到自身的函数上的量化，而不只是在这个域的个别成员之上。例如，如果这个域是所有实数的集合，通过如下书写你可以在一阶逻辑中断言每个实数的加性逆元的存在性但你需要使用二阶逻辑来断言实数的最小上界性质:并在点的位置插入一个陈述，如果 A 是非空并且它在 R 中有一个上界，则A 在 R 中有一个最小上界。在数理逻辑中，二阶逻辑是命题逻辑或一阶逻辑的扩展，它包含在谓词位置上（而不是像一阶逻辑那样只能在项的位置上）的变量，和约束它们的量词。所以： 我们可以表达关于 Jones 的二值原理： 对于所有性质，Jones 要么有它要么没有它。
【二的意思】：二 èr（ㄦˋ） （一）、数名：一加一（在钞票和单据上常用大写“贰”代）。（二）、双，比：独一无二。 详情>
【阶的意思】：阶（階） jiē（ㄐ一ㄝ） （一）、为了便于上下，用砖石砌成的或就山势凿成的梯形的道：阶除（台阶）。 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
