逻辑知识点笔记总结

在推理中，前提是指已知的命题公式，结论是从前提出发应用推理规则推出的命题公式。这一过程称为有效推理或形式证明，所得的结论称为有效结论。这里我们最关心的不是结论的真实性，而是推理的有效性，前提的实际真值不作为确定推理有效性的依据。但是，如果前提全为真，则有效结论也应该为真。

有效的推理不一定产生真实的结论；而产生真实结论的推理过程未必是有效的。有效的推理中可能包含为“假”的前提，而无效的推理却可能得到为“真”的结论 。所谓推理有效，指的是它的结论是它前提的合乎逻辑的结果，即结论是从前提出发应用推理规则推出的。亦即，如果它的前提都为真，那么所得的结论也必然为真，而并不是要求前提或结论一定为真或为假，如果推理是有效的话，那么不可能它的前提都为真时，而它的结论为假。

演绎法是从前提(假设)出发，依据公认的推理规则和推理定律，推导出一个结论来。

命题逻辑的推理理论

具体命题的谓词表示形式和n元命题函数(n元谓词)是不同的，前者是有真值的，而后者不是命题，它的真值是不确定的。如上例中S(a)是有真值的，但S(x)却没有真值；一个n元谓词不是一个命题，但将n元谓词中的个体变元都用个体域中具体的个体取代后，就成为一个命题。而且，个体变元在不同的个体域中取不同的值对是否成为命题及命题的真值有很大的影响。

确定量词辖域的方法： （1）若量词后有括号，则括号内的子公式就是该量词的辖域； （2）若量词后无括号，则与该量词紧邻的最短子公式为该量词的辖域。

为了使得我们的研究更方便，而不致引起混淆，同时为了使其式子给大家以一目了然的结果，对于表示不同意思的个体变元，我们总是以不同的变元符号来表示之。

定义5.3.5 设G是任意一个公式，若G中无自由变元，则称G为封闭的合适公式，简称闭式。

在命题逻辑里，每一公式都有与之等值的范式，范式是一种统一的表达形式，当研究一个公式的特点(如永真、永假)时，范式起着重要作用。 对谓词逻辑的公式来说，也有范式，其中前束范式与原公式是等值的，而其它范式与原公式只有较弱的关系。

定义5.4.1 称公式G是一个前束范式，如果G中的一切量词都位于该公式的最前端(不含否定词)且这些量词的辖域都延伸到公式的末端。

谓词

在命题逻辑里，每一公式都有与之等值的范式，范式是一种统一的表达形式，当研究一个公式的特点(如永真、永假)时，范式起着重要作用。 对谓词逻辑的公式来说，也有范式，其中前束范式与原公式是等值的，而其它范式与原公式只有较弱的关系。

谓词公式

ES（存在特指规则， Existential SPecify ）(彐x)G(x)⇒ G(c)其中c为使G(c)为真的特定个体常量；若G(x)中还有除x以外的自由变量时，则必须用这些变量的函数符号来取代。

推导过程中可以引用命题演算中的规则P 和规则T 如果结论是以蕴涵形式(或析取形式)给出，还可以使用规则CP若需消去量词，可以引用规则US和规则ES当所要求的结论可能被定量时，此时可引用规则UG和规则EG将其量词加入

谓词逻辑的演绎与推理规律

命题逻辑也称命题演算，或语句逻辑。

特征：把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。

命题

设P是任一命题，复合命题“非P”(或“P的否定”)称为P的否定式(Negation)，记作P，┐称为否定联结词。

定义 设P、Q是任两个命题，复合命题“P并且Q”(或“P和Q”)称为P与Q的合取式(Conjunction)，记作P∧Q，“∧”为合取联结词。

合取连接词

定义 设P、Q是任两个命题，复合命题“P或者Q”称为P与Q的析取式(Disjunction)，记作P∨Q，“∨”为析取联结词。

析取连接词

定义 设P、Q是任两个命题，复合命题“如果P，则Q”称为P与Q的蕴涵式(Implication)，记作P→Q，“→”称为蕴涵联结词，P称为蕴涵式的前件，Q称为蕴涵式的后件。

蕴含连接词

定义 设P、Q是任两个命题，复合命题“P当且仅当Q”称为P与Q的等价式(Enuivalence)，记作P↔Q，“↔”称为等价联结词

等价连接词

命题联结词

注意：这仅仅是一种为了书写简单的约定，把程序输入计算机时，括号是不可随意省略的

定义4.3.6 设G、H是公式，如果在任意解释I下，G与H的真值相同，则称公式G、H是等价的，记作G＝H。

定理4.3.1 公式G、H等价的充分必要条件是公式GH是永真公式。

“=”的性质：由于“=”不是一个联结词，而是一种关系，为此，这种关系具有如下三个性质：（1）自反性 G = G；（2）对称性 若G = H，则H = G；（3）传递性 若G = H，H = S，则G = S。这三条性质体现了“=”的实质含义。

替换定理： 设G1是公式G的子公式（即G1是公式G的一部分且为公式），H1是任意的公式，在G中凡出现G1处都以H1替换后得到新的公式H，若G1＝H1，则G＝H。

命题公式

定理3.5.1 对于任意命题公式，都存在与其等价的析取范式和合取范式。

范式的求解方法

定理：（1）公式G为永真式当且仅当G的合取范式中每个子句至少包含一个命题变元及其否定； （2）公式G为永假式当且仅当G的析取范式中每个短语至少包含一个命题变元及其否定；

定义3.5.4 在给定的析取范式中，每一个短语都是极小项，则称该范式为主析取范式。在给定的合取范式中，每一个子句都是极大项，则称该范式为主合取范式。如果一个主析取范式不包含任何极小项，则称该主析取范式为“空”；如果一个主合取范式不包含任何极大项，则称主合取范式为“空”。

命题公式是永真公式当且仅当它的主析取范式包含所有的极小项，此时主合取范式为“空”。命题公式是永假公式当且仅当它的主合取范式包含所有的极大项，此时主析取范式为“空”。两个命题公式是相等的当且仅当它们对应的主析取范式之间相等，或者(可兼或)它们对应的主合取范式之间相等。

列出公式对应的真值表，选出公式的真值结果为真的所有的行，在这样的每一行中，找到其每一个解释所对应的极小项，将这些极小项进行析取即可得到相应的主析取范式。列出公式对应的真值表，选出公式的真值结果为假的所有的行，在这样的每一行中，找到其每一个解释所对应的极大项，将这些极大项进行合取即可得到相应的主合取范式。

真值表技术

析取范式和合取范式

1、汇报工作说结果；2、请示工作说方案；3、总结工作说流程；4、布置工作说标准；5、关心下级问过程；6、交接工作讲道德；7、回忆工作说感受。

1.跟领导交流

1、了解行业发展的整体态势通过行业研究报告、关键词搜索获取基本信息。2、关注领先/竞品产品对行业有大体认知后，我们可以通过关注相关产品的动态抓行业的主脉络。3、行业上下游和价值环从行业拓展至相关行业，了解产业链上下游企业的产品/服务/业务模式等，思考目标产品的价值环。

一、建立行业认知

1、对行业的洞察力和思考根据之前的工作经验，思考共性推导出对这个行业的认识和见解2、找有经验的人了解我们对这个行业了解远远低于这方面有工作经验的人。

二、思考行业共性

1.这个行业所面临的痛点/痒点有哪些？2.哪些痛点对于用户是最紧迫的？3.如何把自己的产品与这些痛点结合起来？形成我们自己的观点策略，并制定我们的年度/季度/月度的计划。

三、形成观点策略

2.快速了解陌生行业

- 定义问题- 分解问题：金字塔原则，- 开展分析- 提出建议

3.麦肯锡分析法流程

例如：在公司年会上。如果你是员工，对象是老板和同事。感谢公司给我这个平台。感谢老板给我成长的机会，感谢团队对我鼎力支持。回顾这一年来，取得什么进步，有哪些不足，可以根据自己的实际情况汇报。最后就是祝愿公司越好越大，祝愿同事家庭幸福等等。

1、一般聚会发言公式：感谢+回顾+未来愿景（赶回来）

2、在比较正式、重要的场合：称呼+问好+感谢+回顾+未来愿景

第一步：问好；第二步：感谢；第三步：自我介绍；第四步：进入主题演讲；第五步：总结第四步的内容；最后一步;再次感谢；

3、重要、大型、正式场合长篇演讲的一般公式：问好+感谢+自我介绍+主题演讲+总结+再次感谢

1.一般性发言

例如：老板问：为什么今年的销售指标没有完成？答：（问题）老板，今年的销售指标只完成了80%，确实没有实现，（原因）我分析了原因，主要有3点：第一是……；第二是……；第三是……。（解决方案）我也想好了对策，准备在下周一的晨会上宣布：第一……；第二……；第三……！

1、问题+原因+解决方案（问元芳）

2、问题或现象+原因+本质+建议+结果

（观点）提高自信的方法有很多，我认为演讲是很好的一种方法。（原因）因为演讲可以锻炼口才，提高胆量，改善气质。（案例）就那我自己来说吧，过去20年我都是不自信的，很大一个原因就是我不敢当众讲话，每次要碰到要当众讲话时，我都会紧张得要命，越紧张，越表现的不好，也越来越不自信，进入一个恶性循环，直到后来我加入了国际演讲会俱乐部，在那里学习系统的演讲技巧，大家不断鼓励我，我也不断练习，挑战自己，终于不再害怕演讲，甚至开始喜欢演讲。现在的我是一个自信满满、敢于登台讲话的人，（结论）所以我相信演讲可以提高自信。谢谢

3、观点+原因+案例+结论（观音按揭）

2.针对具体问题和现象的发言公式

4.当众发言

第一步：搭建框架。

第二步：优化框架。

第三步：填充内容。

1.自上而下：先搭建一个框架，然后再去搜集知识。他更适合于入门阶段。

2.自下而上：你可以根据你搜集的知识点，在这个知识点的基础上，搜集资料，不断扩充。他更适合于成熟阶段。

5.构建知识体系

具体实例

1.广泛收集启发性知识。

2.深度建立一个知识框架。

3.通过输出，形成乐高城市。

4.把握学术动态，更新知识体系。

建立流程

逻辑知识点笔记总结