定理的自动证明

谓词公式转为子句集

1.消去->,<->

2.~右移
3.变量标准化
4.前束范式
5.消去存在量词
6.转为skolem,合取式
7.消去全称量词
8.消去合取词
9.更换变元名称

文/程忠 浏览次数:0次   2021-05-06 18:40:05

相关阅读


评论:
点击刷新

↓ 广告开始-头部带绿为生活 ↓
↑ 广告结束-尾部支持多点击 ↑