查询词典 propositional variable

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

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规则

The main content of the study includes: the policy variables are classified into two types, which are continuous policy variable and discrete policy variable, and the two variable is analyzed respectively; as to the continuous policy variable, use reasonable weighting to synthesize comprehensive policy indicator to reflect the comprehensiveness of each main policy indicator; undertake regression analysis for the comprehensive policy indicator, economic and stock market variable and get the effect of all kinds of comprehensive policy indictor variables on the economy and stock market; undertake regression analysis for data on the economic indicator and the data on the stock market and get the relationship between the economy and the stock market; use event research method to analyze its effect on the stock market and get some corresponding conclusions; structure the differential or difference equation groups on the interactive relationship among the variable economy, stock market and policy and do the difference operation and constitute simultaneous equation with the original main variables one after another; use quantitative regression method and solve the coefficient of the simultaneous equation to predict the operating tendency.

本研究主要内容包括：将政策变量划分为连续性政策变量和离散政策变量两个类型，并分别进行分析；对于连续性政策变量，采取合理的权重来合成政策综合指标，反映各主要政策指标的综合力度大小；将各政策综合指标与经济、股市变量进行回归分析，获得各类政策综合指标变量对经济、股市影响程度的大小；将经济指标数据与股市数据进行回归分析，获得经济与股市之间关系的大小；采取事件研究方法来分析其对股市的影响程度；构建关于经济、股市与政策各主要变量之间互动关系的微分或差分方程组，进行差分运算，并以此与原来各主要变量组成联立方程；运用计量回归方法，求出联立方程系数用于预测。

Furthermore, transfer coefficient between total content and variable speciation including acid-soluble/exchangeable, reducible, oxidisable fraction of heavy metals are different. Transfer coefficient of total Cr is 0.65 in tailings area, but that of variable speciation is 0.26. In contrast with Cr,transfer coefficient of total Ni is 0.26, but that of variable speciation is 0.67. The similar characteristics on Pb and Zn in cultivated soil, namely, transfer coefficient of total Zn is high, but low for variable speciation, which is reversed for Pb. Transfer coefficient of total content and variable speciation in abandoned soil are low compared with above two fields soil, especially, variable speciation of Cu and Ni are not transported almost down soil profile.

重金属总量和活性态（包括弱酸提取态、可还原态、可氧化态）迁移率也表现出很大差异，尾矿区土壤Cr总量迁移率较高为0.65，而其活性态迁移率较低为0.26，Ni与Cr迁移特征完全相反，总量迁移率为0.26，而活性态迁移率为0.67；农田土壤中Pb总量迁移率低而活性态迁移率高，Ni与Zn特征相似，总量迁移率高而活性态迁移率相对较低；大棚地土壤中重金属迁移率均较低，Cu和Ni活性态几乎未发生向下迁移。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

But the content of a situated thought cannot be fully captured as propositional content: the content as delivered by the situatedness of the thinker essentially extends beyond anything that the mere propositional construal of the content can deliver.27 Because of this, although the over-all form of a transcendental argument might seem to be of a deductively valid argument e.g.

但是a situated thought的内容不能被完全把握为命题内容：内容作为被思者的situatedness给出，本质上超出了对纯粹的命题解释所能给出的内容。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The circulation, consumption and reproduction of the trilogy have not only testified to its historical significance and literariness, but also invested it with new meanings.

该三部曲的流通、消费与再生产不仅验证了其历史意义及文学性，而切还赋予它以新的意义。

If he thought that he could buy me off, he would be wrong.

如果他认为他可以收买我，那他就大错特错了。