命题逻辑-2

文字：命题变元或命题变元的否定
析取式：有限个文字的析取称为析取式，也称子句
合取式：有限个文字的合取称为合取式，也称短语
互补对：P与¬P称为互补对
析取范式：有限个短语的析取式为析取范式
合取范式：有限个子句的合取式为合取范式
极小项与极大项：在含有n个命题变元P1,P2,…,Pn的短语或子句中，若每个命题变元与其否定不同时存在，但二者之一恰好出现一次且仅出现一次，并且出现的次序与P1,P2,…,Pn一致，则称此短语或子句为关于P1,P2,…,Pn的一个极小项或极大项
主析取范式：在给定的析取范式中，若每一个短语都是极小项，则称该范式为主析取范式
主合取范式：在给定的合取范式中，若每一个子句都是极大项，则称该范式为主合取范式

---

推理定律：
基于真值表技术，由如下关系：
简化规则：
G∧H=>G
G∧H=>H
添加规则：
G=>G∨H
H=>G∨H
¬G=>G→H
H=>H→G
G,H=>G∧H
选言三段论：
¬G,G→H=>H
¬G,G⊕（异或）H=>H
肯定前件式：
G,G→H=>H
否定后件式：
¬H,G→H=>¬G
假言三段论:
G→H,H→I=>G→I
二难推论：
G∨H,G→I,H→I=>I

---

规则P：前提引用规则。在推导的过程中，可随时引入前提集合中的任意一个前提
规则T：逻辑结果引用规则。在推导的过程中，可随时引入公式S，该公式S是由其前的一个或多个公式推导出来的逻辑结果
规则CP：附加前提规则。如果能从给定的前提的集合T与公式P推导出S，则能从此前提集合T推导出P→S

更多查看我的个人博客：https://beatjerome.github.io