第一章 命题逻辑
1.1 命题与联结词
1.1.1 命题
命题:是用陈述句表示的一个或者为真或者为假但不能同时既为真又为假的判断语句
命题的真值:判断的结果,真(T或1)、假(F或0)
真命题:真值为真的命题
假命题:真值为假的命题
eg:
1.北京是中国的首都 Y,真
2.2+3=6 Y,假
3.几点了 ? N,疑问句
4.除地球外的星球有生物 Y,真值确定但未知
5.我只给所有不给自己理发的人理发 悖论
表示命题的符号称为
命题变量,常用p、q、r…表示命题变量。
命题变量没有真值,只有表示一个确定的命题后,才有真值
1.1.2 联结词
==简单命题(原子命题):==不能分解为更简单的陈述语句的命题
复合命题由两个或几个简单句和连词组合而成的命题
命题的符号化:用英文字母或英文字母和联结词的组合表示命题,称为命题的符号化
联结词–连词
1.否定词
\overline{P}
非、不、没有、无、并非等都可用-表示
- 合取 P且Q
{P}\wedge{Q}
和、与、也、并且、既…又…、不仅…而且…、虽然…但是…表示
- 析取 P或Q
{P}\vee{Q}
或、可能…可能…、或者…或者…
自然语言中的“或”具有二义性:兼容性或、不兼容性或
- 兼容性或 电灯不亮是灯泡或线路有问题所致
- 不兼容性或(排斥或) 派小王或小李中的一人去开会
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-0BxJLIVE-1595898392089)(A10B1668DB6B4D2E9C9455D26C285294)]
4.蕴含
设p、q表示任意两个命题,p—>q可表示复合命题,“如果p,那么q”,当且仅当p的真值为真,q的真值为假时,p–>q的真值为假
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-xQVQarwH-1595898392099)(2D4A01DF84154E28A6914DEA9282320B)]
蕴涵式 p–>q
- p为蕴涵前件,q为蕴涵后件‘
- p为q的充分条件,q为p的必要条件
- 表示:“如果p,则q”、“如果p,那么q”,“当p则q”,“p仅当q”等
5.等价 <–>
设p、q表示任意两个命题,p<–>q可表示复合命题“p当且仅当q”。当且仅当p和q的真值同时为真或同时为假时,p<–>q的真值为真
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jSIjvc6s-1595898392102)(7C69FE9BB53E4026B625E2512445D9B1)]
等价词 p<–>q
- 表示p与q互为充分必要条件的逻辑关系
- 表示形如“p当且仅当q”、“如果p,那么q,反之亦然”等的命题
例题:
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Dc4VtDSI-1595898392105)(112ACA62A3D4458BBD44895B6D15AFCE)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-w2DFpAD7-1595898392108)(C19CFC7B24B34CF281D5AD667E8C614C)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-bDHznyLr-1595898392110)(32C81FBE7189411B9F699FE2F60C05E6)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-uICvpd1v-1595898392111)(8F4BDF622F334A4DB3E3C46E2D44F764)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-zlHsOdiz-1595898392112)(6E2363E316284ACEA2FB1962942677D6)]
1.2 命题公式及其分类
==命题常元:==代表特定简单命题
==命题变元:==代表任意命题,取值1(真)或0(假)的变量
由简单命题、联结词组成的含有命题变元的命题称为命题公式
含有命题变元的命题公式不是命题
只有公式中所有命题变元指定代表特定的命题时,命题公式才成为命题,真值唯一确定
若命题公式A含有的全部命题变元为p1、p2…pn,给p1、p2…pn指定一组赋值,称为对A的一个解释或赋值。使A的真值为真的赋值称为成真赋值,使A的真值为假的赋值称为成假赋值。
- 通常赋值与命题变元之间按下标或字母顺序对应,即当A的全部命题变元为p1、p2…pn时,给A赋值a1、a2…an;当A的全部命题变元为p、q、r时,给A赋值a1、a2…an是指p=a1、q=a2、r=a3…
- ==真值表:==命题公式在所有可能的赋值下的取值的列表含n个变项的公式有2^n个赋值
命题公式的分类
定义
设A为一个命题公式 1. 若A在它的各种赋值下取值均为真,则称A为 重言式或 永真式 2. 若A在它的各种赋值下取值均为假,则称A为 矛盾式或 永假式 3. 若至少存在一种赋值使A的真值为真,则称A为 可满足式这三种公式之间有下列的关系:判断方法–构建真值表
- 公式A永真,则非A永假,反之亦然
- 公式A是可满足的,当且仅当非A不是永真式
- 公式A不是可满足的,则一定是永假式
- 公式A不是永假式,则一定是可满足的
1.3 命题演算的关系式
等价表达式
定义:设A和B是两个命题(或命题公式),若A<–>B是永真式,命题A和B称为逻辑等价的,可记为A<=>B
说明:A<=>B是永真式,表示A和B在所有的赋值下都有相同的真值,也就是说命题公式A和B有着相同的真值表 真值表判断等价表达式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-XMky91QN-1595898392113)(641A85395020415FB27F4DEFDEDD5D4D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ddzsSI3m-1595898392114)(52C2EAB383C3410390E94E14C1A48397)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-wkicQk0G-1595898392115)(D81FE558E83340E3A427EDCC1A0E3D14)]
==置换规则:==若公式G中的一部分A(包含G中的几个连续的符号)是公式,称A是G的子公式;用与A逻辑等价的公式B置换A不改变公式G的真值
利用已知的等价关系式,将其中的子公式用和它等价的公式置换可以推出其它一些等价关系式,这一过程称为
命题的等价运算
利用命题的等价运算,可以
- 判断两个公式是否等价
- 判断命题公式的类型
- 命题公式的化简等
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-lokCpbo6-1595898392116)(2495CB675A4B4CC5AA93F919FBA27859)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-a0irL1uB-1595898392117)(38586CC838B8499F81E030526C55ABD3)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TEqo0C2d-1595898392118)(89FB90826B0F4AD99ADA77904EC54455)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-QTbHhYEO-1595898392119)(D0BF5E465B1945ABB282E47CB2B1228A)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-uFoOpplv-1595898392120)(9FF74E415A6D419793C2A43D73264E91)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KaD63ogg-1595898392121)(F25A996E8C874B54BBB93FF727021C55)]
其它联结词
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-dVpKwZ8N-1595898392123)(3CAAEF31B504412BB5F1DEE15712F2FC)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Z3RylEui-1595898392124)(E9152DA94C3D466AAB9249B61350A535)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-EW995Szn-1595898392124)(BD489E19DC7B476CA52746C3E50E5CCE)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-hws98wAT-1595898392126)(AAC75C09831A4D299CEBC020B8C05665)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pknJJkMu-1595898392126)(6A2D6B0EC865408AAD10B6CC7C43A825)]
1.4 范式
1.4.1 主析取范式
析取范式
定义:一个命题公式具有形式A1vA2vA3…An(n>=1),其中A1,A2,A3…An都是由命题变元或其否定所组成的合取式,则称该命题公式为析取范式。
合取范式
定义:一个命题公式具有形式A1 ^ A2 ^ A3…An(n>=1),其中A1,A2,A3…An都是由命题变元或其否定所组成的合取式,则称该命题公式为合取范式。
范式存在定理
定理:任何一个命题公式都存在着与之等值的析取范式与合取范式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-PI7NWkYA-1595898392127)(41474EC1FF924B08801304A0DD945E4E)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-cFKlUs39-1595898392129)(646CFAC6E4B44F8384F3725E2503B895)]
主析取范式与主合取范式
含有n个命题变元的合取式中,若每个命题变元与其否定不同时出现,而二者之一必出现且出现一次,这样的合取式称为极小项
含有n个命题变元的析取式中,若每个命题变元与其否定不同时出现,而二者之一必出现且出现一次,这样的合取式称为极大项
说明
- 由n个命题变元产生的不同的极大项和极小项的个数均为2^n个 - 每个极小项在它的2^n个赋值中只有一个成真赋值 - 每个极大项在它的2^n个赋值中只有一个成假赋值[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-D1qN3V4n-1595898392129)(F7CF69073B294DEB8BFE6428F1762541)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-R7yx4BG3-1595898392131)(92569AA283B84E6E817F49F3C16A9319)]
主析取范式
定义:如果含n个命题变元的命题公式的析取范式的每个合取式全是极小项,则称该析取范 为主析取范式 任何命题公式的主析取范式是存在并唯一的[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KCgqXJVp-1595898392131)(9CDDF2A5EA3243A9B5F8699F9FA33F92)][外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CClHUlhH-1595898392133)(62CBC3698C0D4D57908C36356A0E0022)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-kcTcJ3lR-1595898392134)(7E70A02228EB4E65AEB10A5D9147866A)]
1.4.2 主合取范式
主合取范式
定义:设A和B是两个命题公式,当且仅当命题A-->B是重言式时(即A-->B <==>T时),称从A可推出B,或 A蕴涵B,或B是前提A的结论,可以表示成A==>B任何命题公式的主合取范式是存在并唯一的
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Yrbk96m3-1595898392135)(AE1E9038A2844D2298F7B5A868535179)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-x0pDaDHD-1595898392136)(EA601E2C0290431CAE7872E798B9C8C3)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-X6r78g2F-1595898392137)(E20A8755BA004051B1834D91117821C8)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-UUc8ZBOb-1595898392139)(F6B9383977A245A3ABF234EAEF4A602E)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nvXsYmev-1595898392139)(902FE2F17B6741AFB4D831EB9D67AF51)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-OSXbDKU4-1595898392140)(E7BB828A9A8D40B3B9159F251900AB5D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-RddT6fZn-1595898392141)(2DBA2FD09C0D4449BB7F590530277412)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-FdGwu811-1595898392142)(7A4DAF65F7A44C139602C932920936B6)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-5Vb33hK2-1595898392143)(093CAA381E3849969EAEE01525AA2B6E)]
1.5 命题演算的推理
1.5.1 推理定理
推理理论
定义:设A和B是两个命题公式,当且仅当命题A-->B是重言式时(即A->B <=>T时),称从A可推出B,或 A蕴涵B,或B是前提A的结论,可以表示成A==>B[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-vGBCXr8D-1595898392145)(DC1B46C5CDD8400C9DF60C331A2E487D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-LoNgTnj1-1595898392146)(4915BF8F521C4541BB18930DF930B67B)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jr2itf8R-1595898392148)(20A5CAE89CF645B4B81BFCC5C4875AA1)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4fkjm7X6-1595898392149)(2248E86D48BE44A38D6D8C2FF6B618B1)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-fECQGel4-1595898392152)(5DF70F753EE4422BAA1DD7CE68C6C619)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-WNpFQSaA-1595898392152)(737114C13E3B4EA99007B8508F778548)]
1.5.2 推理证明方法
推理证明方法
- 真值表法 - 等价演算法 - 演绎法 - 间接推演法(归谬法) - 附加前提证明法 - 归结证明法[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-izVNoEXJ-1595898392154)(83D80AD5A1A944A4A233B2926898F102)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-9nkhrHjy-1595898392155)(73EF953B7BF2498B898D566C4CF97B2D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-yVvIwRY8-1595898392156)(637B28FD15224BDCA6836C8A984FEE91)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-cwO9RMCM-1595898392156)(0219B91069C649F885D0679C7310F901)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-shgDgnkB-1595898392157)(9EA486EAA2D843538E0C7E9D94812210)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Sr4znCK1-1595898392158)(9B653E42DC9747B4AAC297198F87958C)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-6luLZA75-1595898392159)(8BE7A05AB4714F7294D5F3CD01ACB9D9)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-MAMH52kr-1595898392160)(C89424D8FCCD4A66A40D48E67766BC96)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-uZRJbxe3-1595898392161)(98B76E2A8BCF47CDB8E2AA17AF5AED8D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8OWkytjX-1595898392162)(EAACFC09541B4047A176912E71DB9F2C)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-vZ7VyY26-1595898392163)(862C12BEF02F4BA0B3C4766A918736EB)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BYrGdAy9-1595898392164)(A60DB359D19B4F539D13F7B991417B0C)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-R4E2eGlR-1595898392166)(D118930552364BFDB590528EFB841336)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Ad5WwSA6-1595898392167)(8F9165CF0FC54E91A021E727634BA4F2)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-RqbSPNW1-1595898392168)(F02A6D0F0E8545F397072132744A951B)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-0mx2FlSY-1595898392168)(06CF9DCD8C0143C5B333D50BFF73343B)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-iRpFlMIf-1595898392169)(A4ED9F46D9E24485AA656C9000B868E9)]
第二章 谓词逻辑
2.1 谓词逻辑的基本概念
命题逻辑的局限性–对于简单句难以证明其正确性
个体词和谓词
个体词是指可以独立存在的客体,可以是一个具体的事物或抽象的概念,是原子命题所描述的对象
谓词是用来说明个体的性质或个体间的关系
eg: 3大于2 2、3是个体词 大于是谓词
- 刑如“b是A”类型的命题可表达为A(b)
- 表示多个个体间关系的命题,可表达为B(a,b),或P(a,b,c)
和一个个体相联系的谓词称为一元谓词
和二个个体相联系的谓词称为二元谓词
和n个个体相联系的谓词称为n元谓词
个体常元:表示具体的或特定的个体,如a,b,c…等
个体变元:表示抽象的或泛指的个体,如x,y,z…等
谓词常项:表示具体性质或关系的谓词,R(a)表示a是人;
谓词变项:表示抽象或泛指的谓词,如P(a)表示a具有P性质
谓词表达式
定义:一个原子命题可以用一个谓词常项P和几个个体常元,如a,b,c…,表示成P(a,b,c…)为原子命题或命题的谓词表达式
命题函数
定义:一个谓词常项P和几个个体变元如x,y,z…表示成P(x,y,z…)的形式,称为命题函数,其中的个体变元可以代表任意一个个体
注意:命题的谓词表达式是有真值的,命题函数的真值是不确定的
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-pMpCTBxb-1595898392171)(6273A88164BC4AF3A44DB9DF1457A4E8)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Bo0tVTki-1595898392172)(426581D045AC4FBEB8BD8022C78E0659)]
个体域
定义:命题函数中,个体变元的取值范围称为个体域或论述域
个体域可以是有限的,也可以是无限的。把宇宙间一切事物作为对象的集合称为全总个体域。通常,没有特殊说明的情况下,个体变元的论述域是指全总个体域。
如:A(x)表示:x是大学生
个体域:某大学计算机1班学生,则A()是永真式
个体域:某高中1班学生,则A()是永假式
量词
定义: 表示个体常元或个体变元之间数量关系的词称为量词
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-mYfUXm8e-1595898392173)(F4DC58FD5FED4A18971639A4A795E55F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-yF6h7lQv-1595898392174)(BFC03949B821429193EA082930AE217C)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-o45ln7qe-1595898392175)(0FB23A3310D345BBBCD9343A046B5A10)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-HGOQqQrM-1595898392176)(AEDC42F2B3D64CF79AF4E10881DF4A41)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-7OXNBjbF-1595898392178)(E856669D76A34137AD6374F1A637DBFB)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-rshEAf1l-1595898392179)(26E6746FFB61418E8279EDE949ED8F15)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-WZoIXHmH-1595898392180)(ADE83E7E63C542C3AB2C2F94B7908E51)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4zx6ENKE-1595898392181)(FE715FFDA5A54C20944B52A789688639)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-I4i4FoL4-1595898392182)(BF2C1F51912840F1BD27A737CB8E468D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-DkisBaCc-1595898392183)(0164DEB531D44AAFA610AED6434C5F6B)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-eGlIhsOn-1595898392184)(4F7E1F0F008745D992AA6EB3808FFDC8)]
2.2 谓词演算方式
假设谓词P和n个个体变元,如x1,x2,x3…xn,表示成P(x1,x2…xn),称为n元原子谓词公式,简称n元谓词公式
如果谓词公式中没有个体变元,即n=0时称为0元谓词公式。0元谓词公式是原子命题
- 每一个原子谓词公式都是谓词演算公式
- 如果A是谓词公式,则非A是谓词公式
- 如果A和B都是谓词公式,则(A^B),(AvB),(A->B),(A<–>B)都是谓词公式
- 如果A是谓词公式,x是其中的任一变元,则全称A和存在A都是谓词公式
- 当且仅当有限次地应用上面的步骤得到的符号串才是谓词公式
量词的辖域及变元的约束
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-qiXdI9MJ-1595898392186)(545EB6BDD1C14D50B9998B868108E62D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3eTrx8Kf-1595898392187)(D6FBA6672F4E46F9B8E0E5E13D3E5D22)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-gd3RPdNA-1595898392187)(3210E4BFDEF5474F856F16879ACF3357)]
约束变元换名,即对谓词公式中约束出现的变元更改符号名称
约束变元换名规则:将量词中的指导变元以及该量词辖域中该变元的所有出现更改为辖域中没有出现的变元名称,公式中的其余部分不变。
对谓词公式中自由出现的变元更改符号名称,称为自由变元代入
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-II0IvYRh-1595898392188)(CC11D019D3F342EB89C8BB9ACB109C65)]
闭式
定义:任一谓词公式A,若A中没有自由出现的个体变元,称A是封闭的谓词公式,简称闭式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-LPfBFJ9f-1595898392189)(91111048B09542C2A40F5D1862922495)]
2.3 谓词公式的解释和分类
谓词公式的解释
定义: 谓词逻辑公式中公式A的一个解释(或赋值)I由以下四部分组成: - 非空的个体域集合D - A中的每个常元符号,指定D中的某个特定的元素 - A中的每个n元函数符号,指定D^n到D的某个特定的函数 - A中的每个n元谓词符号,指定D^n到{0,1}的某个特定的谓词[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nNpgzsww-1595898392190)(AEC21DE63943467B899250804E26DB5A)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-rs1Lxs4Q-1595898392192)(7CD0E83F00ED4E739C1AF1118EB90998)]
谓词公式的分类
- 设A是一个谓词公式,如A在任何解释下的真值恒为真,则称A为永真式(或逻辑有效式) - 如A在任何解释下的真值恒为假,则称该谓词公式为永假式(或矛盾式) - 如果至少存在一个解释使A的真值为真,则称A为可满足式[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-NcopbeTo-1595898392194)(D8B9E72604C7471A9600AA40F0487CC3)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-YRC2kpIT-1595898392195)(E961ED5295154AB0B5864F39C9B290A6)]
命题公式的代换实例
假设谓词P和n个个体变元,如x1,x2,x3...xn,表示成P(x1,x2,x3...xn)的形式,称为n元原子谓词公式,简称n元谓词公式 [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-rkQFpRmo-1595898392197)(64CF8EA778F94FA99687647698DEDF80)] 定理:命题公式中永真式的代换实例都是永真式,矛盾式的代换实例永远是矛盾式[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CzK4Xfy4-1595898392199)(D05C413B33F844B0958D5D14BD2FF101)]
2.4 谓词演算的关系式
谓词演算的关系式
定义:设A和B是任意两个谓词公式,如果A-->B是永真式,则称谓词公式A和B等价,记为A<==>B谓词逻辑的等价式有:
- 命题逻辑中的等价式的代换实例是谓词逻辑中的等价式
- 谓词逻辑中特有的等价式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-5dcFyXqM-1595898392200)(804B2E4A4D9E4FD0BDAB6879BC947BA0)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jZWMvpUV-1595898392201)(47A89E5567E0402B89C7FA316552025E)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-wt279idw-1595898392202)(BA2A2FA951D54544B77F107DA9E3D469)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-5uLhv9z6-1595898392203)(7980BF4DA5B640F79234913A52D0126F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-A4ZnVFL6-1595898392204)(72E30CB2EFF0411691A6D9A9699444D3)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-dzr6Sflh-1595898392205)(342A1A57449A453CAF427BAE23CA91D5)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-aA4HZOWj-1595898392207)(4C986F6323AE4999B809F5ED1F09410F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-fHyMqaCB-1595898392208)(82D84859466D4AF9BFB6B96B1682BF7C)]
2.5 前束范式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-rGSYovzt-1595898392209)(A46F8A2833254635B7C05B4C89AA18D3)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4Rq9TNwX-1595898392210)(7DB7C9FB6F414D8989C9D42B4A8560F9)]
定理:任一谓词公式都存在着与之等价的前束范式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8Ke1oLjy-1595898392212)(F6CFDB3996BA44289F81404018C5A4E9)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-xXkWX0zv-1595898392212)(CF479DADB2274CA68D726B8E4043D75F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-BKjwtJ6D-1595898392213)(4B14AD368A1B4298B6F282CC43DE2D2E)]
前束范式并不唯一
2.6 谓词演算的推理
2.6.1 谓词逻辑的推理规则
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-CzXmintH-1595898392215)(F4E289919C7C4463A98127229478D11A)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-bPj87sSp-1595898392217)(9EB746A42C21401584825373BF9D53CA)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KHNnlBav-1595898392217)(3A39979C9EB743C28F91CD67F3B17B51)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-R2r4wsKI-1595898392219)(CA361CD91F31411780A31AAFBB32282F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nU2S6T63-1595898392220)(07FD71A60A574C619C73B968D9D94858)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-r3ZguP4b-1595898392222)(D81CD49FC97C43ACA48FB4EA33BCBD2D)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Ui6u9S77-1595898392223)(127E1177FF9B4DC3A05E3324C8260A4F)]
2.6.2 谓词逻辑推理证明实例
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-qztHvcdo-1595898392225)(312424637218466BB4ABA6BEB44DB046)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-yVDvQCmU-1595898392226)(A196D6C9E4BD4F1BA7E83ECB801553E7)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-O1d8q3Ya-1595898392228)(41B9C896C9FD4F3E9551E9E452560E27)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-q7i29YHT-1595898392229)(6A83138F83B3477B9B39F06E68E7E6EE)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-xVpoItut-1595898392229)(1ABCBC5631A442BABE990F250E6F12E1)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-lyJwpC8p-1595898392231)(86E3B97B39C948EBA53ABA2E7C16EB8F)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-eH24b2Vq-1595898392232)(163F30DF90D74A6BBFBE22528D88A5A9)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-nZ2z2lx1-1595898392234)(0DB2F574E29F4C7B9E8C7A7959195F73)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-duTpomhX-1595898392235)(ECC49A4C7BD749F4B6E92F6D330AC59A)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-mMVsp5ZT-1595898392237)(253CA505095A43D59F10F5406A08E9A6)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-FMhXf6Ms-1595898392238)(D76709D16E3347A8ADFA82DF1800E8D5)]