命题公式(proposition formula) 由命题常元变元和.DOCXVIP

命题公式(proposition formula) 由命题常元变元和.DOCX

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
命题公式(proposition formula)由命题常元、变元和联结词组成的形式更为复杂的命题命题公式( proposition formula )定义命题常元和命题变元是命题公式,特别的称作原子公式或原子如果A,B是命题公式,那么(?A), (A∧B), (A∨B), (A→B), (A?B)也是命题公式只有有限步引用上述两条所组成的符号串是命题公式重言式(永真式)tautology命题变元的所有赋值都是命题公式的成真赋值矛盾式(永假式、不可满足式)contradiction命题变元的所有赋值都是命题公式的成假赋值可满足式(contingency)命题公式至少有一个成真赋值重言式的代入原理(rule of substitution)将重言式A中的某个命题变元p的所有出现都代换为命题公式B,得到的命题公式记作A(B/p),A(B/p)也是重言式。命题公式的替换原理(rule of replacement)将命题公式A中的子公式C的部分出现替换为和C逻辑等价的公式D(C╞╡D ),得到的命题公式记作B,则A╞╡B。真值函数(truth function)如果将联结词看作逻辑运算符,那么包含命题变元p1, p2, …pn的公式A可以看作是p1, p2, …pn的真值函数指派(赋值assignments)对任意给定的p1, p2, …pn的一种取值状况,称为指派或者赋值析取范式(disjunctive normal form)公式A’称作公式A的析取范式,如果A’╞╡AA’为合取子句或者若干合取子句的析取合取范式(conjunctive normal form)公式A’称作公式A的合取范式,如果A’╞╡AA’为析取子句或者若干析取子句的合取主析取范式(major disjunctive form)公式A’称作公式A(p1, p2, …pn)的主析取范式,如果A’是A的析取范式A’中每一个合取子句里p1, p2, …pn均恰出现一次主合取范式(major conjunctive form)公式A’称作公式A(p1, p2, …pn)的主合取范式,如果A’是A的合取范式A’中每一个析取子句里p1, p2, …pn均恰出现一次联结词集的完备性如果任意一个真值函数都可以用仅包含某个联结词集中的联结词的命题公式表示,则称这个联结词集为功能完备集形式系统是一个符号体系系统中的概念由符号表示推理过程即符号变换的过程以若干最基本的重言式作为基础,称作公理(axioms)系统内符号变换的依据是若干确保由重言式导出重言式的规则,称作推理规则(rules of inference)公理和推理规则确保系统内由正确的前提总能得到正确的推理结果证明(proof)公式序列A1,A2,…,Am称作Am的一个证明,如果Ai(1≤i≤m)或者是公理,或者由Aj1,…,Ajk(j1,…,jki)用推理规则推得。当这样的证明存在时,称Am为系统的定理(theorem),记作┠*Am(*是形式系统的名称),或者简记为┠Am 演绎(deduction)设Γ为一公式集合。公式序列A1,A2,…,Am称作Am的以Γ为前提的演绎,如果Ai(1≤i≤m)或者是Γ中的公式,或者是公理,或者由Aj1,…,Ajk(j1,…,jki)用推理规则推得。当有这样的演绎时, Am称作Γ的演绎结果,记作Γ┠*Am(*是形式系统的名称),或者简记为Γ┠Am 称Γ和Γ的成员为Am的前提(hypothesis)证明是演绎在Γ为空集时的特例命题演算形式系统PC(Proposition Calculus)PC的符号系统命题变元:p,q,r,s,p1,q1,r1,s1,…命题常元:t,f 联结词:?,→(注意是完备集)括号:(,)命题公式命题变元和命题常元是公式如果A,B是公式,则(?A),(A→B)均为公式(结合优先级和括号省略约定同前)只有有限次使用上面两条规则得到的符号串才是命题公式PC的合理性(soundness)如果公式A是系统PC的定理,则A是重言式(如果┠PCA,则╞A)如果A是公式集合Γ的演绎结果,那么A是Γ的逻辑结果(如果Γ┠PCA,则Γ╞A)PC的一致性(consistency)没有公式A,使得┠PCA和┠PC?A同时成立由PC的合理性容易证明PC的完备性(completeness)如果公式A是重言式,则A一定是PC中的定理(如果╞A,则┠PCA)如果公式A是公式集合Γ的逻辑结果,则A一定是Γ的演绎结果(如果Γ╞A,则Γ┠PCA)证明很难,略。谓词命名式将谓词中的个体空位用变元字母代替,称作谓词命名式谓词填式将谓词中的个体空位用个体变元或常元代替,称作谓词填式谓词填式在形式上和命名式相同,但是属于不同的概念,需要根据上下文加以区分谓词公式(predicate formula)谓词填式是公

文档评论(0)

fg67fd + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档