propositional connective

propositional connective的基本解释

-

命题联结词

与propositional connective相关的网络例句 [注：此内容来源于网络，仅供参考]

Special staining methods, such as Masson and the Van Gieson staining were used to study the distribution of collogen fibers and elastic fibers. ResultsBy HE staining, the subepithelial connective tissues and vessels in the pterygium were more prominent than normal conjunctival tissues. An amorphous subepithelial superficial hyalinized zone and coarse eosinophilic granular materials were observed in the pterygia, but they were not found in normal conjunctival specimens. Coarse fibers were visible only in the deeper subepithelial connective tissues of pterygial samples. With Masson′s staining, the dense staining of collagen fibers was also more prominent in the pterygium than in the subepithelial connective tissues of normal conjunctiva. Abnormal collagen fibers were visible in the deeper sub-epithelial connective tissues of pterygial samples. With Van Gieson staining, abnormal collagen fibers were visible in the deeper subepithelial connective tissues. Dark coarse elastic fibers were found in the abnormal fibers only in the subepithelial deep connective tissues of pinguecula in the pterygia but not in the conjunctiva. With immunohistochemistry staining, MMP-3 was strong in the pterygial epithelium, moderate in fibroblast and absent from pterygial vascular walls. LN was strongly expressed in the blood vessel wall, moderately in the epithelial basement membrane and absent from the entire stroma.

结果HE染色：翼状胬肉组织上皮下基质中存在结缔组织的增生和血管形成；基质浅层存在一无定形物质透明区及粗糙的颗粒样嗜酸性物质，在翼状胬肉体部深层基质中存在粗糙的纤维组织；正常球结膜组织细胞排列整齐；基质为疏松结缔组织，胶原纤维平行排列，其间可见成纤维细胞，散在少量中性粒细胞、毛细血管；Masson染色：翼状胬肉浅层基质中存在致密的胶原纤维染色，深层基质中的胶原纤维存在变性样改变；VG染色：翼状胬肉组织深层基质中存在大量变性的胶原纤维，其间夹杂黑色的弹性纤维；免疫组化染色法：MMP-3在翼状胬肉上皮细胞中呈强表达，成纤维细胞中呈中等强度表达，血管内皮细胞中未见表达；LN在血管壁中呈强表达，在上皮细胞基底膜中呈中等强度表达，在整个基质中未见明显表达；col Ⅲ在整个翼状胬肉基质中呈强表达。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

与propositional connective相关的网络解释 [注：此内容来源于网络，仅供参考]

propositional connective：命题联结词

propositional calculus 命题演算 | propositional connective 命题联结词 | propositional function 命题函数

propositional connective：命题 结词

propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词 | propositional constant 命题常元,命题常项