已知谓词公式(∀x)(∀y)(P(x， y)→Q(x， y))，将其化为子句集的结果正确的是（）