发布网友
发布时间：2022-04-20 01:07
共2个回答
热心网友
时间：2023-07-05 01:48
（1）不含量词的合式谓词公式是前束范式；
（2）若A是前束范式则也是前束范式；
（3）只有有限次正确地使用规则（1）（2）得到的合式谓词公式才是前束范式。
PS：（3）中“正确”主要指不能同时用全称量词和特称量词限定同一个变元。 一个公式如果有一下形式：
其中
A为不含量词的合式谓词公式
则这个公式是前束范式。特别地，A也看作前束范式。
特别地，类比命题逻辑中合取范式、析取范式、主合取范式、主析取范式可得到谓词逻辑中相应的前束*范式概念。
热心网友
时间：2023-07-05 01:49