试题分享

试题

谓词公式 $\forall x(P(x)$ to $\exists y Q(x, y))$ 的前束范式是（）

$\text{A.}$ $\forall x \exists y(P(x)$ to $Q(x, y))$ $\text{B.}$ $\exists \mathrm{x} \forall \mathrm{y}(\mathrm{P}(\mathrm{x})$ to $\mathrm{Q}(\mathrm{x}, \mathrm{y}))$ $\text{C.}$ $\forall \mathrm{x} \forall \mathrm{y}(\mathrm{P}(\mathrm{x})$ to $\mathrm{Q}(\mathrm{x}, \mathrm{y}))$ $\text{D.}$ $\exists x \exists y(P(x)$ to $Q(x, y))$