Discompose according as proposition deduction rules.

• 分解的依据是命题演算系统的推理规则。