Since Leibniz first put forward the sufficient reason law in his philosophical work "The Monadology" (1914), the issue of the law of sufficient reason has aroused heated discussions in the field of logic in our country. The question of whether the law of sufficient reason is the basic law of formal logic was particularly heated in the domestic logic circle in 1978-1980. Since then, there has been little discussion, but from the newly compiled formal logic textbooks published one after another, (...) no consensus has been reached. Although they didn't agree on the question of "whether or not", the two sides elaborated their arguments in detail and put forward some new opinions, thus creating new conditions for solving this problem scientifically. Firstly, this paper analyzes the different viewpoints of both sides of the argument. Secondly, it analyzes whether the law of sufficient reason is the basic law of formal logic from whether Leibniz put forward the law of sufficient reason. Finally, on this basis, a new transformation method is put forward. After this transformation, the law of sufficient reason is an important basic law of deductive logic, which can be juxtaposed with the other three logical laws, such as identity, and coordinated with the "three laws" and complement each other. (shrink)