前束范式

王朝百科·作者佚名  2009-11-17
窄屏简体版  字體: |||超大  

前束范式 一个谓词公式的前束范式仍是谓词公式. 若谓词公式F等值地转化成

那么 就是F的前束范式,其中Q1,Q2,…,Qk只能是"或$,x1,x2,…,xk是个体变元,B是不含量词的谓词公式.

每个谓词公式F都可以变换成与它等值的前束范式. 其步骤如下:

① 消去联结词®,«,`Ú;

② 将联结词Ø移至原子谓词公式之前;

③ 利用换名或代入规则使所有约束变元的符号均不同,并且自由变元与约束变元的符号也不同;

④将"x,$x移至整个公式最左边;

⑤ 得到公式的前束范式.

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航