去掉否定符号思路:
判断是四个模型中哪一种?
然后以小团体为单位,进行变形
化为skolem标准型思路:
找括号,然后找出连接括号的符号
如果符号是析取,就析取算到括号里面。形成一个新的谓词公式
然后再次判断一遍小团体之间的连接符号有没有析取符号,,,,一直循环,直到找不到析取符号为止
去掉否定符号思路:
判断是四个模型中哪一种?
然后以小团体为单位,进行变形
化为skolem标准型思路:
找括号,然后找出连接括号的符号
如果符号是析取,就析取算到括号里面。形成一个新的谓词公式
然后再次判断一遍小团体之间的连接符号有没有析取符号,,,,一直循环,直到找不到析取符号为止