calculus of proposition

• 命题演算

calculus of proposition的用法和样例：

例句

1. Discompose according as proposition deduction rules.
   分解的依据是命题演算系统的推理规则。