求谓词公式∀x∀y(∃z(P(x,z)∧P(y,z))→∃z Q(x,y,z))的前束范式。

我要回帖

 

随机推荐