Researches On The Manipulative Approach To The Classical Calculus Of Propositions

The manipulative approach to the classical calculus of propositions is fairly significant and valuable theoretically and academically. In the axiomatic system of logic, which is concerned with the classical calculus of propositions, it is uneasy to start the verification based only on the axiomatic and reasonable rules, especially for the beginners in this field. For the past years, it has been commonly asserted that there is not any approach to the classical calculus of propositions; however, hard verification on approach to the classical calculus of propositions has been unavailable so far. Therefore, this thesis intends to offer a manipulative procedure so that the approach to the classical calculus of propositions becomes available. On the basis of this research, on one hand, we can make clear the internal order of the classical calculus of propositions, deepen the theories on mechanic theory-proving in math, and hence provide an innovative approach to various logical calculus; on the other hand, we can adapt the teaching on mathematical logic and broaden the version and thinking of researchers on mathematical logic, so that these researchers are able to acquire the keys of logic calculus with more thorough knowledge and understandings. Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.There indeed exist a great many particular internal orders in the classical calculus of propositions. In some degree, it is these orders that determine the approach to the classical calculus of propositions. Based on the application of various researching methods, this thesis is in an attempt to begin with the discussions on the thinking principle on the approach to the classical calculus of propositions, and then carries on the researches in a series of scientific and careful order. It consists of building up the regarding principles, studying the initial scheme, offering the procedure, verifying the procedure. The conclusion of this thesis is the achievement of the approach to the classical calculus of propositions.