This paper suggests a fairly practical natural deductive system featured with quantizational logic.In this system, the indirect proof is the main method for the proof calculation, and the elimination of the quantifier and the regulation of the displacement are the fundamental deductive rules of this system.