实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
因为模糊逻辑控制器的控制信号是由系统的响应行为而不是由其分析模型决定的，所以机器人的开环响应可以用一系列二阶系统来描述。
Because the signal processed by fuzzy controller is based on system behavior rather than its analytical model, open loop responses of a robot are described by a set of second order systems.
二阶逻辑允许有各种解释；它经常被认为包含在域的子集上，或在来自这个域到自身的函数上的量化，而不只是在这个域的个别成员之上。例如，如果这个域是所有实数的集合，通过如下书写你可以在一阶逻辑中断言每个实数的加性逆元的存在性 但你需要使用二阶逻辑来断言实数的最小上界性质: 并在点的位置插入一个陈述，如果 A 是非空并且它在 R 中有一个上界，则A 在 R 中有一个最小上界。 在数理逻辑中，二阶逻辑是命题逻辑或一阶逻辑的扩展，它包含在谓词位置上（而不是像一阶逻辑那样只能在项的位置上）的变量，和约束它们的量词。所以： 我们可以表达关于 Jones 的二值原理： 对于所有性质，Jones 要么有它要么没有它。
应用推荐