离散数学:求下面公式的前束范式，非常急，第3题

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

共2个回答

热心网友时间：2023-07-10 02:53

如下所示：

热心网友时间：2023-07-10 02:54

前两个是前束范式,第三个不是.
在谓词演算中,一个公式是前束范式的,如果它可以被写为量词在前,随后是被称为矩阵的非量化部分的字符串.所有一阶公式都逻辑等价于某个前束范式公式.
第三个公式中,量词x,y的辖域仅为A(x,y),后面B(x,y)中的x,y为自由变元,故非前束范式.

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