方略学科导航

搜索结果: 1-1 共查到“数理统计学其他学科系统”相关记录1条 . 查询时间(1.218 秒)

£ukasiewicz命题逻辑系统中有限命题集的约简理论完备性定理 Г约简形式背景 2009/7/27

在n值£ukasiewicz命题逻辑中提出了命题集Г的约简理论，引入由命题集Г所诱导的形式背景的概念，从Г及其子集的关系出发给出了n值命题逻辑中有限命题集Г约简的判定定理以及求Г约简的方法。说明了无穷值£ukasiewicz命题逻辑中命题集Г的约简可转化为n值情形。