- 1、本文档共29页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
命题公式及分类
等值演算福建师范大学数学与计算机科学学院1.2命题公式及其赋值简单命题是真值唯一确定的命题逻辑中最基本的研究单位,所以也称简单命题为命题常项或命题常元。用p,q,r,…等小写字母表示命题常项。称真值可以变化的陈述句为命题变项或命题变元。也用p,q,r,…表示命题变项。当p,q,r,…表示命题变项时,它们就成了取值0或1的变项,因而命题变项已不是命题。这样一来,p,q,r,…既可以表示命题常项,也可以表示命题变项。在使用中,需要由上下文确定它们表示的是常项还是变项。将命题常项或命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。定义1.6合式公式(1)单个命题常项或命题变项是合式公式,并称为原子命题公式。(2)若A是合式公式,则(┐A)也是合式公式。(3)若A,B是合式公式,则(A∧B),(A∨B),(A→B),(A?B)也是合式公式。(4)只有有限次地应用(1)~(3)组成的符号串才是合式公式。合式公式也称为命题公式或命题形式,并简称为公式。设A为合式公式,B为A中一部分,若B也是合式公式,则称B为A的子公式。关于合式公式的说明(┐A)、(A∧B)等公式单独出现时,外层括号可以省去,写成┐A、A∧B等。公式中不影响运算次序的括号可以省去,
如公式(p∨q)∨(┐r)可以写成p∨q∨┐r。合式公式的例子:
(p→q)∧(q?r)
(p∧q)∧┐r
p∧(q∧┐r)不是合式公式的例子
pq→r
(p→(r→q)定义1.7公式层次(1)若公式A是单个命题(常项或变项),则称A为0层合式。(2)称A是n+1(n≥0)层公式是指下面情况之一: (a)A=┐B,B是n层公式; (b)A=B∧C,其中B,C分别为i层和j层公式,且n=max(i,j); (c)A=B∨C,其中B,C的层次及n同(b); (d)A=B→C,其中B,C的层次及n同(b); (e)A=B?C,其中B,C的层次及n同(b)。(3)若公式A的层次为k,则称A是k层公式。例如:(┐p∧q)→r,(┐(p→┐q))∧((r∨s)?┐p) 分别为3层和4层公式公式的解释在命题公式中,由于有命题符号的出现,因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后,公式就成了真值确定的命题了。例如:(p∨q)→r若p:2是素数,q:3是偶数,r:π是无理数,则p与r被解释成真命题,q被解释成假命题,此时公式(p∨q)→r被解释成:若2是素数或3是偶数,则π是无理数。(真命题)r被解释为:π是有理数,则(p∨q)→r被解释成:若2是素数或3是偶数,则π是有理数。(假命题)定义1.8赋值或解释设p1,p2,…,pn是出现在公式A中的全部命题变项,给p1,p2,…,pn各指定一个真值,称为对A的一个赋值或解释。若指定的一组值使A的真值为1,则称这组值为A的成真赋值;若使A的真值为0,则称这组值为A的成假赋值。对含n个命题变项的公式A的赋值情况做如下规定:
(1)若A中出现的命题符号为p1,p2,…,pn,给定A的赋值α1α2,…,αn是指p1=α1,p2=α2,…,pn=αn。
(2)若A中出现的命题符号为p,q,r...,给定A的赋值α1,α2,…,αn是指p=α1,q=α2,…,最后一个字母赋值αn。上述αi取值为0或1,i=1,2,…,n。赋值举例在公式(┐p1∧┐p2∧┐p3)∨(p1∧p2)中,
000(p1=0,p2=0,p3=0),
110(p1=1,p2=1,p3=0)都是成真赋值,
001(p1=0,p2=0,p3=1),
011(p1=0,p2=1,p3=1)都是成假赋值。在(p∧┐q)→r中,
011(p1=0,p2=1,p3=1)为成真赋值,
100(p1=1,p2=0,p3=0)为成假赋值。重要结论:
含n(n≥1)个命题变项的公式共有2n个不同的赋值。真值表将命题公式A在所有赋值下取值情况列成表,称作A的真值表。例求下列公式的真值表,并求成真赋值和成假赋值。(1)(┐p∧q)→┐r(2)(p∧┐p)?(q∧┐q)(3)┐(p→q)∧q∧r定义1.9重言式、永真式、可满足式设A为任一命题公式(1)若A在它的各种赋值下取值均为真,则称A是重言式或永真式。(2)若A在它的各种赋值下取值均为假,则称A是矛盾式或永假式。(3)若A不是矛盾式,则称A是可满足式。定义1.9的进一步说明A是可满足式的等价定义是:A至少存在一个成真赋值。重言式一定是可满足式,但反之不真。因
您可能关注的文档
- 叉、抱车安全操作培训.ppt
- 第十一章-抗病虫育种.ppt
- 常见物质和离子.ppt
- 第十章-估价和收益率(1).ppt
- 认知心理治疗理论.ppt
- 四年级下语文S《27.麋鹿》.ppt
- 例(1)公共汽车上有3个座位-现在上来5名-乘客-每人坐1....ppt
- 采煤机的解体与组装.ppt
- 第一章企业战略管理导论.ppt
- 生物专业英语蒋悟生版本第三课.ppt
- 2024年05月山东交通职业学院招考聘用博士研究生50人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽芜湖市弋江区老年学校(大学)工作人员特设岗位公开招聘2人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东东营河口区教育类事业单位招考聘用22人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东交通职业学院招考聘用100人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东威海职业学院招考聘用高层次人才2人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽石台县事业单位工作人员33人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东滨州市博兴县事业单位公开招聘考察笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月安徽蚌埠固镇县湖沟镇选聘村级后备干部7人笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东省安丘市教育和体育局所属事业单位学校公开2024年招考232名工作人员笔试历年典型题及考点剖析附带答案含详解.docx
- 2024年05月山东临沂临港经济开发区工作人员(5人)笔试历年典型题及考点剖析附带答案含详解.docx
文档评论(0)