extension principle of propositional logic

The definition of truth degree in the classic two-valued proposition logic formula is populared to the uneven probability space whose power is 2,and two-valued logic(p,q) measure and its proposition probability truth degree are defined.

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式。

Aiming at the problem that there exists very complicated and a large amount of component constraints,an algorithm of component constraint detection based on proposition logic was proposed,in which the proposition in daily diction was transformed into the formal proposition of mathematical logic via the process of proposition symbolization,i.

针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法。

In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.

从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 。

The highest level logic,or rather,the second level logic deals with logical connection proposition which is the highest grade proposition.

同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能。

In other words, the logical connection proposition is composed of empirical mathematical connection propositions and the connective.

命题又可分为不同的层次,高层命题由低层命题构成,即逻辑命题由经数命题加联符构成,经数命题由事实命题加联符构成,事实命题由项构成。

The Generalized Tautology in Disturbing Fuzzy Propositional Logic System;

扰动模糊命题逻辑系统中的广义重言式

Tense operators E(ever)and F(will)as well as their dual operators H(ever always be) and G(will always be) were introduced into lattice-valued propositional logic system LP(X), forming a lattice-valued tense propositional logic system LTP(X).

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)。

extension principle of propositional logic

命题逻辑的外延性原理

Proposition relativity and logic calculation in probabilistic logic;

概率逻辑中的命题相关性与逻辑运算

Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)

格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理

Topological Characterizations of Properties of Logic Theories in Three-Valued Propositional Logic System L_3*

三值命题逻辑系统L_3~*中逻辑理论性态的拓扑刻画

Theory of Truth Degree in Lukasiewicz 3-valued Propositional Loggic;

Lukasiewicz三值命题逻辑中命题的真度理论

Theory of Truth Degrees in Lukasiewicz n-Valued Propositional Logic;

Lukasiewicz n值命题逻辑中命题的真度理论

On the legal reasoning in legal logic--Connotion and denotation of legal reasoning;

论法律逻辑学中的法律推理——关于法律推理的内涵和外延问题

On the Decidability of Paraconsistent Propositional Logics Cn;

弗协调命题逻辑C_n的判定性问题

The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);

格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究

Satisfiability and Expressiveness of Propositional Projection Temporal Logic;

命题投影时序逻辑的判定性和表达性

Basic Deductive Chain in Two-valued Propositional Logic F(S_n)

二值命题逻辑F(S_n)中的基本推理链

The Conditional Truth Degree of Propositions in n-valued Lukasiewicz Logic

n值Lukasiewicz逻辑中命题的条件真度理论

Type of conclusions and classification of theories in two-valued propositional logic

二值命题逻辑理论的结论类型和分类

The Theory of Propositional Truth and Approximate Reasoning in Logic Systems Associated with a Nonlinear Ordering True Value Set

非线性序集逻辑系统中命题的真度理论及近似推理理论

Approximate Reasoning in Quantitative Logic and the Theory of Conditional Truth Degree of Formulas in Classical Logic;

计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论

in logic: a proposition that is accepted as true in order to provide a basis for logical reasoning.

逻辑学中：为了给逻辑推理提供基础，被认可为真实的命题。

Interpretive Mechanism for Appetency or Illusory Proposition

亲和性机制或“虚假”命题——《新教伦理与资本主义精神》的逻辑缺憾

A Study of Leibniz’s Philosophy of Logic from Concept, Definition and Proposition;

哲学的逻辑表达与逻辑的哲学分析——从概念、定义与命题理论看莱布尼兹的逻辑哲学观