formal transformation of propositional calculus

英 美
  • 命题演算的变形规则
  • calculus n.微积分;算法;结石
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • of prep.关于;...的(表所属);出身于;由于
  • propositional adj.命题的
  • transformation n.转型;转化;改造