原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
离散数学课件ch4选编
主要内容
一阶逻辑命题符号化
个体词、谓词、量词
一阶逻辑命题符号化
一阶逻辑公式及其解释
一阶语言
合式公式
合式公式的解释
永真式、矛盾式、可满足式;4.1 一阶逻辑命题符号化 ;谓词;量词;实例1;实例1解答;实例2;实例3;实例4;实例5;4.2 一阶逻辑公式及解释;一阶语言L 的项与原子公式;定义4.4 L 的合式公式定义如下：
(1) 原子公式是合式公式.
(2) 若A是合式公式，则 (?A)也是合式公式
(3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是
合式公式
(4) 若A是合式公式，则?xA, ?xA也是合式公式
(5) 只有有限次地应用(1)—(4)形成的符号串才是合式公式.
合式公式简称公式
如, F(x), F(x)??G(x,y), ?x(F(x)?G(x))
?x?y(F(x)?G(y)?L(x,y))等都是合式公式;封闭的公式;封闭的公式;公式的解释;实例;公式的类型;代换实例;实例;第四章 习题课;???本要求;练习1;练习1(续);练习2;练习2;练习3;练习3;练习4;练习5
文档评论（0）