Discompose according as proposition deduction rules.
英
美
分解的依据是命题演算系统的推理规则。
目录
查词历史
英 汉