 [课堂练习] |
|
3、
|
设有公式( x)( y){(y)P(x,y)=>(x)Q(x,y)}，在经过对变量标准化后得到公式为： |
|
A (x)(y){(y)P(x,y)=>(y)Q(y,y)} |
|
B (x)(y){(x)P(x,x)=>(x)Q(x,y)} |
|
C (x)(y){(z)P(x,z)=>(q)Q(q,y)} |
|
D (x)(y){(z)P(x,z)=>(q)Q(q,z)} |
|
E (x)(y){(z)P(q,z)=>(q)Q(q,z)} |
|
(本题您已经做了，答案为D，在此仅供复习用,不能再计分!)
|