下面给出13组常用的永真蕴含式:
1.1.4 范式、主析取范式和主合取范式
如何判定命题公式为永真式、永假式和可满足的呢?如何判定两个命题公式等价?(1)真值表法;(2)命题演算方法;(3)范式方法
范式:把命题公式化归为一种标准的形式,称此标准形式为范式。
(一)、范式:析取范式和合取范式:
设命题变元为:P、Q、R,
则:析取式(P∨Q∨R)称为“和”;合取式(P∧Q∧R)称为“积”。
析取范式和合取范式的定义如下:
求公式的析取范式和合取范式的步骤:
(1)利用等价公式,化去联结词“→”、“⇔” ,把命题公式变为与其等价的且用{﹁ ,∧,∨}表达的公式;
(2)将“﹁”深入到原子命题变元之前,并使变元之前最多只有一个“﹁”词;
(3)利用“∧”与“∨”的分配律,将公式化为析取范式(合取范式)。
(4)去掉永假项(永真项)得最简析取范式(最简合取范式)。
例题:
(二)、主析取范式和主合取范式
主析取范式:
《定义》给定一命题公式,其仅含有极小项析取的等价式称为给定命题公式的主析取范式。在真值表中,一个公式的真值为T的指派所对应的极小项的析取,即为此公式的主析取范式。
主合取范式:
《定理》在真值表中,一个公式的真值为F的指派所对应的极大项的合取,即为此公式的**主合取范式。**在真值表中真值为“F”的个数等于主合取范式中极大项的个数。
求解主合取范式和主析取范式时,可以通过真值表(前提变元<3的情况下,不然列出来很麻烦)
例题:求解下列各式的主析取范式和主合取范式(考试只考到3个变元的)
1.1.5 推理理论
直接证法:
**•P 规则:**在推导的任何步骤上,都可以引入前提。
**•T 规则:**在推导过程中,如果前面有一个或多个命题公式永真蕴含命题公式 S,那么就可以把公式 S 也引入到推导过程之中。
•置换规则:在推导的任何步骤上,命题公式中的子公式都可以用与之等价的公式置换。
间接证法:
1.2 谓词逻辑
1.2.1 谓词和量词
(1)个体
《定义》原子命题中表示主体或客体的词,称为个体。通常用a,b,c,…表示。个体它可以是独立存在的人或物体,也可以是
抽象的概念。
注: 个体域(论域):个体变元的取值范围。
- ①个体域可以是有穷集合,也可以是无穷集合。
- ②全总个体域:宇宙间的一切对象组成的集合。
- ③其它任意个体域都是全总个体域的子集。
- ④如无特别说明,所采用的都是全总个体域。
(2)谓词
《定义》用以刻画个体的属性或个体之间关系的模式,称为谓词。通常用大写字母 F,G,H,…表示。例如 张华是大学生。
- 一元谓词:与一个个体相关联的谓词。
- 二元谓词:与两个个体相关联的谓词。
- 一般的,把与 n 个个体相关联的谓词称为n元谓词。
(3)命题函数
《定义》一个谓词 F 后填上相关联的 n 个个体变元所得的表达式 F(x1 , x2 ,…, xn ),称为 n 元简单命题函数。
例如:
F(x) : x 是质数。 (一元命题函数)
H(x , y): x 大于 y。(二元命题函数)
显然,F(x),H(x , y)都不是命题,因为它们的真值无法判断。但若令 a:2, b:3 ,则
F(a) : 2 是质数,这是个真命题,它的真值为真。
H(a,b):2 大于3,这是个假命题,它的真值为假。
(4)量词
将命题符号化
个体域有两类:
- 特殊指定。(所有老虎组成的集合)则这时只 需对个体的属性进行谓词表示。
- 全总个体域。则还要运用特性谓词来限定研究的对象,即把研究对象从全总个体域中分离出来。没有指定个体域的话默认都用全总个体域
再看个二元命题的情况
(5)谓词公式
举一些例子就可以理解拉。将命题翻译成谓词公式
(6)变元的约束
1.2.2 谓词演算的永真式
谓词逻辑里也有谓词公式的等价与蕴含(跟命题逻辑一样)
(1)谓词演算的等价式
- 命题逻辑中等价式的推广
- 消去量词等价式
- 含有量词的等价式
(2)谓词演算的永真蕴含式
(3)含有多个量词的永真式
异名量词出现的次序直接关系到命题的含义:
(4) 前束范式
《定义》一个公式,如果量词均在全式的开头,它们的作用域延伸到整个公式的末尾,则称此公式叫前束范式。
《定理》任何一个谓词公式均与一个前束范式等价。且前束范式分为前束合取范式和前束析取范式。
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数软件测试工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则几千的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年软件测试全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上软件测试开发知识点,真正体系化!
由于文件比较大,这里只是将部分目录大纲截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且后续会持续更新
如果你觉得这些内容对你有帮助,可以添加V获取:vip1024b (备注软件测试)
一个人可以走的很快,但一群人才能走的更远。不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎扫码加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!
15886)]
[外链图片转存中…(img-vuUAXRG1-1713070215887)]
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上软件测试开发知识点,真正体系化!
由于文件比较大,这里只是将部分目录大纲截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且后续会持续更新
如果你觉得这些内容对你有帮助,可以添加V获取:vip1024b (备注软件测试)
[外链图片转存中…(img-9FEHym3h-1713070215887)]
一个人可以走的很快,但一群人才能走的更远。不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎扫码加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!