命题逻辑

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

At last, we give two simplified proof for the necessary lemma in order to prove the completeness theorem of PI resolving.

第二部分：基于均匀概率的思想，给出了Godel和Kleene三值命题逻辑系统中公式的真度理论。

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

My thesis built the theory of predicate logic on the basis of L* propositional logic.

本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.

而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。

The above all the theory of truth degrees of formulas are proposed in propositional logic.

以上各种真度理论都是在命题逻辑中给出的，对于谓词逻辑而言，建立公式的真度理论要复杂得多。

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。