Based on D-random truth degrees and conditional truth degrees of two valual propositional logical formulas,the concepts of D-conditional truth degrees and the corresponding properties are intruduced.

The Conditional Truth Degree of Formulas in Classical Propositional Logic;

A conditional truth degree of formulas in n-valued propositional logic systems

Approximate reasoning based on conditional truth degree of formulas in classical propositional logic

In logical metric space(F(S),ρD),the concepts of contradiction and tautology based on Γwith the concepts of logical equivalence based on Γ between formulas A and B are given;then the concepts of D-conditional similarity degrees and D-conditional logical pseudodistance and the corresponding properties are also discussed.

Similarity Degree and Pseudo-distance of the Conditional Probability Truth Degree of Formulas

Study of the conditional probability truth degree of formulas in the Gdel logic system

The definitions of probability truth degree,mathematical expectation and conditional probability truth degree for formulas in the continuous value propositional logic system are proposed,and some inference rules of probability truth degree are obtained.

In this paper the definition of universal implication inis updated first,and the properties of universal implication are studied;Then the relations between universal implication and two conditions that are D-P condition and(T-T 1 )condition are deeply discussed,the cases that the universal implication satis.