任意一个谓词公式均和一个前束范式等价对吗

Question

如题所述

Answer 1

求前束范式的步骤：∀x(Q(x)→G(x,y,z))→(∀yP(y)∧∃zH(y,z))∀x(Q(x)→G(x,y,z))→(∀yP(y)∧∃z∀aH(a,z))∀x(Q(x)→∀b∀cG(x,b,c))→(∀yP(y)∧∃z∀aH(a,z))∀y∃z∀a(∀x(Q(x)→∀b∀cG(x,b,c))→(P(y)∧H(a,z)))∀y∃z∀a(∀x∀b∀c(Q(x)→G(x,b,c))→(P(y)∧H(a,z)))∀y∃z∀a∃x∃b∃c((Q(x)→G(x,b,c))→(P(y)∧H(a,z)))