1. This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.

2. West logic includes Aristotelian categorical logic and Stoic propositional logic in ancient time and modern mathematic logic.

3. This paper works on propositional logic system in Computer Logic.

4. Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.

5. In the knowledge implication propositional logic system which build on this strategy, 1.

6. The uniform issue of two-valued propositional logic formulas and logical equivalent formulas is discussed.

7. Symbolic logic is often divided into two branches, propositional logic and predicate logic.

8. First order logic is a most important concept in the field of propositional logic.

9. There is no need for us to retreat from the use of these truth tables through which the logicians introduce, for example, a certain number of fundamental functions of propositional logic.

10. This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.

11. Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.

12. It is able to change the law of excluded middle into all kinds of tautology through applications of the rule of equivalent replacement, and to prove all the inner theorems of propositional logic.

13. Then the ascent algorithm and generalized quasi- tautology are discussed in the part-valued Interval-valued Fuzzy Propositional Logic .

14. Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a 3-valued propositional logic based on an open world.

15. Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.

15. try its best to gather and make good sentences.

16. Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional Logic, discusses its logic algebra and the properties of its generalized tautology.

17. Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

18. This paper obtains the T-truth degree of formulae in two-valued propositional logic system and discusses its properties in logic operations.

19. The third is a summary of the standard one-place normative propositional logic and analysis of some theorem of it from the science of law.

20. In this paper, we obtain the truth degree expression of the pseudo-metric in two-valued propositional logic, which is based on the truth degree.

21. This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.

22. From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.