ON THE EXPRESS OF REDUCTIVE INFERENCE

The general expression of reductive inference is (q→(p→q))→p. In order to make a more effective use of reductive inference, and to make it have more changes in expression I lay much stress on the discussion of some of its specific expressions and find out through analysis the logic characteristics of these expressions. The specific expression of reductive inference are: conjunction expression; disjunction expression; implication expression.