查询词典 logic calculus

To the predicate calculus on Intuitionistic Fuzzy Logic, a symmetric synthetic method for finding the truth of IFL propositions using membership and hesitancy degree is proposed on the basis of the hypothesis of an equilibrium state of supportability and opposability of neutral evidences indicated in the intuitionistic index. The fundamental operation rules on IFL propositions are presented.

摘要针对直觉模糊逻辑及命题演算，基于直觉指数所表征的中立证据中支持与反对的程度呈均衡状态的假设，提出利用隶属度与犹豫度计算直觉模糊逻辑命题真值的对称合成方法，给出直觉模糊逻辑命题的运算规则。

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.

FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。

A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

Leibniz's calculus ratiocinator, which resembles symbolic logic, can be viewed as a way of making such calculations feasible.

莱布尼茨的"推理演算"，类似于符号逻辑，可以被视为进行此种可行计算的方式。

His characteristica universalis, calculus ratiocinator, and a "community of minds"—intended, among other things, to bring political and religious unity to Europe—can be seen as distant unwitting anticipations of artificial languages, symbolic logic, even the World Wide Web.

他的普遍语言、推理演算与"心灵共同体"—意在把欧洲带向政治与宗教统一—可视为对很久以后人工语言、符合逻辑与万维网的无意预见。

N this paper, a labeled sequent calculus for Interval Temporal Logic is proposed.

TL是一阶模态逻辑，它包含了一称为"劈"的二元模态算子。

Wittgenstein increasingly comes to believe that logic was a straightjacket, not a tool, and that it deluded us into thinking of words as fixed symbols that could be manipulated according to a mathematical calculus.

维特根斯坦越来越来认为，逻辑是一种约束，而不是一种工具，它蒙骗我们进入思想的话是固定的符号，可以操纵根据一个数学演算。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。