The manipulative approach to the classical calculus of propositions is fairly significant and valuable theoretically and academically.
经典命题演算的能行方法研究具有重要的理论意义和现实价值。
