等值命题

词组短语

equivalent proposition · biconditional proposition · equivalence proposition

与等值命题相关的网络例句 [注：此内容来源于网络，仅供参考]

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 soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

The author makes a new exploration about such problems as the Chinese expression and its classification, the basis of true or false judgment, the equivalent expression of the negative proposition of the hypothetical judgment under necessary conditions and the anti-syllogism under the condition that the proposition is used as the premise.

就必要条件假言命题的汉语表达式及其分类、判定真假依据、负命题的等值式，以及以此类命题作前提的反三段论等问题，作出了全新的探讨。

The hypothetical proposition under necessary conditions ; the Chinese expression and its classification ; the basis of the true or false judgment ; the equivalent expression of the true proposition ; the and - syllogism under necessary conditions

徐州师范大学文学院； 221116；徐州师范大学学报，，编辑部邮箱 2003年 03期必要条件假言命题；汉语表达形式及其分类；判定真假的依据；真命题的等值式；必要条件反三段论

与等值命题相关的网络解释 [注：此内容来源于网络，仅供参考]

equivalence problem of flowchart schema：框图模式的等价问题

equivalence problem 等价问题 | equivalence problem of flowchart schema 框图模式的等价问题 | equivalence proposition 等值命题

equivalent point：等价点

equivalent norm 等价范数 | equivalent point 等价点 | equivalent proposition 等值命题

equivalent proposition：等值命题

equivalent point 等价点 | equivalent proposition 等值命题 | equivalent states 等价状态

equivalent states：等价状态

equivalent proposition 等值命题 | equivalent states 等价状态 | equivalent stochastic process 等价随机过程

logically equivalent：辑等价的, 辑等值的

logical derivation 辑推导 | logically equivalent 辑等价的, 辑等值的 | logically false proposition 辑假命题

equivalent propositions：等值命题

等积多边形 equivalent polygons | 等值命题 equivalent propositions | 等价有理矩阵 equivalent rational matrices