An investigation of inductive inferential laws

This paper presents an inductive inferential algebra, which enable us to obtain inductive conclusions for practical problems. The algebra is formulated as a set of axioms and theorems established on the basis of Boolean algebra. Instead of complementary law in Boolean algebra, we use classificatory axiom and change denial definition for handling practical inductive problems. The algebra involves mathematical descriptions of thought laws thus proving the way of obtaining inductive conclusion by symbolic operation