定理的自动证明
谓词公式转为子句集
1.消去->,<->
2.~右移3.变量标准化
4.前束范式
5.消去存在量词
6.转为skolem,合取式
7.消去全称量词
8.消去合取词
9.更换变元名称
相关阅读
评论:
↓ 广告开始-头部带绿为生活 ↓
↑ 广告结束-尾部支持多点击 ↑
谓词公式转为子句集
1.消去->,<->
2.~右移软件下载 - 联系邮箱 - 关注微博
Copyright © 2010-2022 匠艺软件 蜀ICP备19010796号