什么是前束范式

发布网友发布时间：2023-11-09 14:57

共1个回答

热心网友时间：2024-10-27 09:50

定义3.4.1 谓词逻辑中公式G称为前束范式,如果G有如下形状：
Q1x1…QnxnM
其中 Qixi或者是"xi,或者是$xi,i=1,…,n,M是不含量词的公式,Q1x1…Qnxn称为首标,M称为母式.
例如,"x"y$z(P(x,y)®Q(x,z))
$x$y$zP(x,y,z)
等等,就是前束范式.

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