propositional calculus form system

英 美
  • 命题演算形式系统
  • calculus n.微积分;算法;结石
  • form n.形式;形状;表格;良好的健康状态;表现状态;常规v.形成;建立
  • propositional adj.命题的
  • system n.系统;体系;身体;制度