Abstract:

 The properties of truth degree of theory are discussed. Then, the conditional truth degree of theory in proposition logic is proposed on the ideal of conditional probability. Based on the conditional truth degree of theory, a new approximate reasoning mode between formula sets is proposed, which can be used to search for the best reasoning conclusion and premise. Finally, the harmonious degree of theory is proposed for characterizing the extent of the internal harmony of the theory.

Key words: quantitative logic; truth degree; conditional truth degree; approximate reasoning; harmonious degree