Reports From Logical Thinking Automaton for Four Concepts

Based on the theory of concept algebra<1>, Logical Thinking Automaton (LTA) <2><3> was invented by author this century. This automaton can process a lot of relationships among concepts. In this book report of the four concepts were shown by logical thinking automaton and a lot of logical results have been presented. The no midterm of two propositions will be reasoned by solving concept equation, the logical results will be got after calculating. That also proved the logic is mathematics.