命题逻辑:句法

点击打开微信,马上办理ETC
提示打开微信,请点击“允许/是”


 

 

定义2.1 Op = {¬,(,)} 为逻辑运算集合

 

Σ 被称为签名,其元素是命题变量。现在递归地定义了命题逻辑公式的集合:

 

§ 所有命题变量,即Σ所有元素,都是(原子)形式

 

§ 如果是公式,则¬ A,(A),A BA BA BA

 

也是公式。

拉斯。

所有公式集的优雅递归定义允许我们生成无限多个公式。例如,给定 Σ = { ABC }

BA CA AC A,(¬ B¬ Ç A

是公式。(((A))∨B也是句法上正确的公式。

W. Ertel人工智能导论15

计算机科学本科专业,

DOI 10.1007 / 978-0-85729-299-5_2©Springer-Verlag
London Limited 2011

 

 

定义2.2 我们以下列方式阅读符号和运算符:

t 真实

f

一个

(否定)(连词)(分离)

(暗示(也称为物质含义))

 

当且仅当(等价)

 

图片

一个如果

¬一个不是一个

以这种方式定义的公式到目前为止纯粹是没有意义的句法结构。我们仍然缺少语义。

 

图片


 

点击打开微信,马上办理ETC


ETC注销ETC充值ETC客服ETC扣费查询


ETC发行合作

发表评论