[课堂练习]
  
  4、
 已知子句：P(x)∨～Q(g(y))和～P(f(y))∨Q(x)（和上题一样），并且已知它们通过消解推理后，得到消解式～Q(g(y))∨Q(f(y))，请问这运用了置换:
A σ＝{f(y)/x} B σ＝{g(y)/x}
C σ＝{f(y)/y} D σ＝{g(y)/y} 		  

返回课堂