食品创业-火星人来了

（19）中华人民共和国国家知识产权局

（12）发明专利申请



（21）申请号 CN2.1

（22）申请日 2017.05.12

（71）申请人 西南交通大学

地址 610031 四川省成都市金牛区二环路北一段111号


（10）申请公布号
CN108875940A

（43）申请公布日 2018.11.23

（72）发明人 徐扬;陈树伟;刘军;何星星;钟小梅

（74）专利代理机构 成都天嘉专利事务所(普通合伙)

代理人 蒋斯琪

（51）

权利要求说明书 说明书 幅图

（54）发明名称

命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法

（57）摘要

本发明公开了命题逻辑中基于矛盾体内部

子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体
分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S
不可满足；否则，抽取矛盾体内部子句

法律状态

法律状态公告日

法律状态信息

法律状态