形式推理
网络释义专业释义
双语例句原声例句
-
描述了形式系统W与形式系统SW形式推理之间的关系。
The relation of inference between the formal system wand the formal system SW is also described.
-
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
-
道德推理的最基本形式——在道德上相当于学会爬行——是将他人的利益与自己的利益进行权衡。
The most elementary form of moral reasoning—the ethical equivalent of learning to crawl—is to weigh others' interests against one's own.
-
We know machines have limited capacities to engage in mathematical and logical reasoning, to recognize things, to do various forms of computations, and this makes it at least possible that we are such machines.
我们也知道机器,在数学推理与逻辑推理方面,在识别物体方面,在完成各种形式的运算方面,的确是拥有有限的能力的,这至少说明,人类就是这样的机器
应用推荐