calculus of proposition

英 美
  • 命题演算
  • calculus n.微积分;算法;结石
  • of prep.关于;...的(表所属);出身于;由于
  • proposition n.提议;事业;命题vt.向...调情
    1. Discompose according as proposition deduction rules.
      分解的依据是命题演算系统的推理规则。