正文
等值式
定义：
设AA、B 是一阶逻辑的两公式，若A ↔ B 为逻辑有效式(永真式)，则称A 与BB是等值的，记做A ⇔ B ，称A ⇔ B 为等值式。
五种重要等值式
前束范式
定义：
设A 为合式公式(谓词公式)，若A 具有如下形式：
则称A 是前束范式，其中每个Q i ( 1 ⩽ i ⩽ k ) )为∀ 或∃ ，B 为不含量词的合式公式
例如：
是前束范式
不是前束范式
数理逻辑—一阶逻辑等值式与前束范式
2023-05-20
178
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《
阿里云开发者社区用户服务协议》和
《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写
侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介：
数理逻辑—一阶逻辑等值式与前束范式
目录
相关文章
|
移动开发
vr&ar
数据库系统概论——关系代数详解
关系代数是一种抽象的查询语言，是关系数据操纵语言的一种传统表达方式，它是利用对关系的运算来表达查询的。任何运算都是将一定的运算符作用于一定的运算对象上，得到预期的运算结果。关系代数的运算对象是关系，运算结果亦为关系。集合运算符将关系看成元组的集合从关系的“水平”方向即行的角度来进行运算专门的关系运算符不仅涉及行而且涉及列算术比较符辅助专门的关系运算符进行操作逻辑运算符辅助专门的关系运算符进行操作。
795
1
1
|
7月前
|
8月前
|
C#
数据库
|
8月前
|
算法
C++
|
8月前
|
Dart
Unix
编译器
|
算法
JavaScript
