查询词典 syllogism

It is argued that we can give a precise and proper reflection of Aristotelian modal syllogism according to joint calculation.

本文认为，从联合演算出发，能更精确、更贴近地反映亚式模态三段论的原貌。

From a contemporary logic point of view, Aristotelian assertorical syllogism can be reduced to first figure of categorical syllogism.

在现代逻辑看来，亚里士多德实然三段论都可以化归为第一格AAA式。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

A hypothetical syllogism is a syllogism having a conditional statement for one or both of its premises.

定义：前提中包含着假言命题，并且依据假言命题的逻辑性质来进行推演的推理。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

That a syllogism includes exactly three terms should not be viewed as a rule of a syllogism but a necessary condition for forming a syllogism.

"一个三段论有且只有三个概念"是构成三段论的条件，不是三段论规则。

The article apply anti- syllogism to research in syllogism and hypothetical syllogism ,it proves equivalence relation of correct form and rule varied cases of syllogism ,and puts forwad a new method restituting elliptical expression of syllogism and distinguishing hypothetical syllogism .

本文将演绎推理的反三段论形式运用于三段论、省略三段论和假言推理的研究，论证了三段论各格正确式及规则的等值性，提出了恢复省略三段论和判别假言推理是否正确的一种新方法。

The novel "Bailu Yuan" is successful in transcending the traditional syllogistic principles of narration into the aesthetic syllogism. The syllogism in image building has shaped lively figures in the development of the story, displaying their complex characters and excavating the tragic meaning of their fates. The syllogism in plot development has strengthened the readability of the novel through depicting rich and co...

白鹿原》成功地将传统故事叙事三段原理创化为审美三段论：人物塑造三段论在发展中塑造了鲜活的人物形象，展示出复杂的人物性格，挖掘出人物命运的悲剧意义；情节演进三段论通过丰富复杂的意象情节变化强化了作品的可读性，探寻到人物的心路走向，展示出广阔的社会生活和历史真实；主题意蕴三段论在社会事物的互动发展中揭示了民族文化心理的演变轨迹，反思和建构了民族文化。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。