On the Proving Concerned Inference Rules of Three-section Theories

• 试论三段论有关推理规则的证明