用消解反演证明有一个绿色对象（回答出来还有更高的分）

P(x):x可推动

B(x):x是蓝色的

G(x):x是绿色的

因打不出，存在符号用】代替，全称符号用△代替。

1.(】x)(P(x)∧B(x))→(△y)(~P(y)→G(y))

异或也打不出，用_∨代替。

2.(△x)(B(x)_∨G(x))

3.(】x)(~P(x))→(△y)(P(y)→B(y))

4.P(O1)

5.~P(O2)

结论:(】x)G(x)

化成字句集：

{~P(x)∨~B(x)∨~P(y)∨G(y) ；B(x)_∨G(x) ；P(u)∨~P(v)∨B(v) ；P(O1) ；~P(O2) ；

~G(w)}

以下1,2,3,4,5,6分别代表上面字句集中的第1-6个字句:

7 ~P(v)∨B(v) 3,5

8 B(v) 7,4

9 ~P(x)∨~P(y)∨G(y) 8,1

10 ~P(y)∨G(y) 9,4

11 G(y) 10,4

12 NIL 11,6

证明完毕

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝搏消＝＝＝

PS:由上可以看出，第2个条件并不需要。

由直悉银猜睁型接推理也可看出，因为第3个条件就告诉我们

O1肯定是蓝色的。

~P(x)∨~B(x)∨~P(y)∨G(y)；B(x)_∨G(x)；P(u)∨~P(v)∨B(v)；P(O1)；~P(O2)；~G(w)}以下。

1，前散宴2，3，4，5，6分别代表上面字句集中的第1-6个字句：7~P(v)∨B(v)3，58B(v)7，49~P(x)∨~P(y)∨G(y)8，1。

反演规则实际上是定理6的推广，可通过定慧银理6和代入规则得到证明。显然，运用反演规则可以掘携很方便地求出一个函数的反函数。使用反演规则时，应注意保持原函数式中运算符号的优先顺序不变。

扩展资料：

相应的几何要素是一个假想的定点与通过此点的一根假想直线两者的组合。当物体或图形绕此直线旋转一定的角度后，紧接着再借助于此假想点的倒反(也可以先倒反再旋转)，其最后结果可使各相同部分发生重复。

类似于对称轴，旋转反伸轴也有一定的轴次和基转角，且同样不能存在5次和高于6次的旋转反伸轴。通常用符号Lin表示。

---