原创力文档- 39
- 0
- 约小于1千字
- 约 10页
- 2020-07-21 发布于福建
- 举报
■
2-3谓词公式
与翻译
定义:
谓词演算的合式
公式
文1)原子谓词公式是合式公式。
2)若A是合式公式,则A是一个合式
公式。
3)若A和B都是合式公式,则(A∧B),
(AB),(A→B)和(A.B)是合式公式
R4)如果A是合式公式,x是A中出现的
=任何变元,则x)A和(x)A都是合
式公式。
5)只有经过有限次地应用规则(1)、(2)
(3)、(4)所得到的公式是合式公式
2-7谓词演算的
推理理论
文档评论（0）