求问:判断下列各式是否前束范式

我心飞翔789 1年前 已收到1个回答 举报

冷冰冰与亮晶晶 幼苗

共回答了18个问题采纳率:88.9% 举报

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

1年前 追问

10

我心飞翔789 举报

其实是想问这个写答案时要不要写一些判断过程?

举报 冷冰冰与亮晶晶

一般是判断题,不需要。
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 18 q. 0.047 s. - webmaster@yulucn.com