命题演算

基本属性

  • 拼音字母ming ti yan suan
  • 拼音首字母mtys
  • 注音符号ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ

扩展释义

命题演算是命题逻辑的公理化,任务是使用演算手段来讨论命题逻辑,有自然演算和公理演算两种方式。公理演算是给出公理,根据确定的推理规则推导出一系列重言式;自然演算不给出公理,利用一系列推理规则推出定理。

相关推荐