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

发布网友发布时间：2022-04-20 01:07

共1个回答

热心网友时间：2023-09-26 03:55

求前束范式的步骤：∀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)))

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
E-MAIL:11247931@qq.com