10.3969/j.issn.1000-0984.2006.12.040
命题演算系统S的概率模型
概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).
概率模型、命题演算系统、运算
36
O1(数学)
2007-04-02(万方平台首次上网日期,不代表论文的发表时间)
共5页
237-241
点击收藏,不怕下次找不到~
10.3969/j.issn.1000-0984.2006.12.040
概率模型、命题演算系统、运算
36
O1(数学)
2007-04-02(万方平台首次上网日期,不代表论文的发表时间)
共5页
237-241
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn