奋斗42天搞定联考-DAY1【逻辑】第1节形式逻辑基础

时间记录：2023.11.11

1.形式逻辑基础

1.1逻辑 “非”
若A为真，那么非A为假
若A为假，那么非A为真

1.2逻辑 “or”
A 和 B 两者至少有一个，逻辑表达式为：A or B
A 和 B 两者至多有一个，逻辑表达式为：非A or 非B (至少有一个 “不”)
至多或至少本质是或的关系

1.3逻辑 “and”
A and B 为真，表示A 真B也真
A 真，B真也可以推出 A and B为真

1.4逻辑 “推出 →”
A → B 和 B $\leftarrow$ A 效果是一样的

2.常见的逻辑连词 (背下来)

2.1 如果A,那么 = A → B
2.2 只要A,就B = A → B
2.3 只有A,才B = B → A
2.4 所有的A都是B = A → B
2.5 不是A就是B = 非A → B
2.6 除非A,否则B = 非A → B
2.7 A,B至少有一个，A与B至多有一个不 = or
2.8 A,B至多有一个，A与B至少有一个不 = 非A or 非B
2.9 A,B,C至少有一个 = A or B or C
2.10 谁是必须的，逻辑箭头就指向谁

3.[练习]将下面的句子转化为逻辑箭头

3.1 除非小明或者小李买单，否则小华不去吃饭。
3.2 如果酒店既有清蒸石斑，又有白灼花螺，就一定会有盐焗花蟹。
3.3 所有具有社交能力和学习能力的人都不可能没有工作。
3.4 游乐园规定必须年满十八岁才可以玩这个游戏项目。
3.5 只有获得父母的支持，梦梦才可以出国旅游。
3.6 若丁和丙中至少有一个未合到A公司，则戊和甲均合并到A公司。
3.7 若甲，己，庚中至少有一个未合并到C公司，则戊合并到B公司且丙合并到C公司。
3.8 除非齐圆没得奖，否则王瑞琪不会得奖。

# 4.形式逻辑必须具备的3个底层思模型

4.1 模块化思维模型：不要做阅读理解，把题干中的文字以逻辑连词为节点，把剩余的问题替换为符号，把整个论述转化为逻辑表达式。
对于题干或者选项中重复出现的文字，有足够的敏感度
4.2 逻辑的单向推理思维模型：从题干给出的确定条件，推理确定未知条件的真假，A → B,和B → A，是两个不同的逻辑关系。
4.3“逻辑真” 不等于“事实真”思维模型
什么叫做事实真？（事实的真假可以确定）
A 真，非A为真
eg1：小明参加会议/小明没有参加会议
A and B为真
eg2：小明和小李都参加了会议
非A and 非B为真
eg3：小明没参加会议，小李也没参加会议

什么叫逻辑真？（逻辑关系为真，但是事实真假不确定）
A → B为真
eg4：如果小明参加会议，那么小李也参加会议
A or B为真
eg5：小明参加会议，或者小李参加会议

“→” “or”均是逻辑真，“and”代表两个同时成立的事实真

例题1，小强对小李说：“如果我中了500万，那么我就送你一套房子”，若小强说的是真话，一下拿个选项一定为真？
A 小强中了500万
B 小强没中500万
C 小强送了小李一套房子
D 小强没有送小李一套房子
E 以上选项均不正确
解析：逻辑真不等于事实真。

例题2，小李说：“如果我们努力学习，就能够考上满意的大学”，小王说：“如果我们努力学习，就不能考上满意的大学”。现在我们可以确定小李说的是真话，那么一下哪个选项一定为真？
A 小王的话为真
B 小王的话为假
C 小李和小王努力学习
D 小李和小王考上了满意的大学
E 小王的话真假不能确定
解析：A → B ，不能推出B为真。A →非 B ，不能推出非B为真。A → B和A →非 B可以同时为真。

5.逻辑基本推理知识

5.1逻辑“ or”的基础知识和必考知识点
题干包括 <或者> ，<至少有一个>，<至多有一个>的逻辑连词
A，B中至少有一个，等同于A or B。
A，B(两个)至多有一个，（至少有一个不）等同于 非A or 非B
A， B，C中至少有一个，等同 A or B or C
A，B，C（三个里面），至多有两个，等于至少有一个不是，非A or 非B or 非C

5.5 知识点
知识点1：非（A or B） = 非A and 非B，非（A and B）= 非A or 非B
知识点2：仅知道 A or B为真的情况下，有三种可能，分别是A真B真，A真B假，A假B真，所以不能确定A和B的真假。
知识点3：代入逻辑推事实真，A or B为真的情况下，增加非A为真的条件可以得到B为真，增加非B的条件可以得到A为真。A or B = 非A → B = 非B → A。
A → B 等同于 非A or B
*四只三脚猫
知识点4：A，B只要有其中的一个为真，A or B的逻辑就为真。

例题3，小红向买一件漂亮的衣服，她父亲同意或者她母亲同意都会给她购买，课时小红没有能说服家人给她买这件衣服，说明？
A 她父亲不同意给她买
B 她母亲不同意给她买
C 她父母都不同意给她买
D 她父母有一个人不同意给她买
E 她父母有一个人同意给她买
解析：非（父 or 母）= 非父 and 非母RUGU

例题4：张三和小强一起去吃饭，他们没有逃单，是张三掏的钱或者小强掏的钱。一下关于他们付钱的讨论哪个一定为真？
A 如果张三付钱，那么小强没付钱
B 如果张三付钱，那么小强也付钱了
C 如果小强没付钱，那么张三也没付钱
D 如果小强没付钱，那么张三付了钱
E 只有小强没付钱，才会让张三付钱

思考题
问题1：为什么 P → Q = 非P or Q 同理 B or C = 非B → C
问题2：为什么 P → Q = 非Q → 非P 同理 非P or Q = P → Q = 非Q → 非P

5.2逻辑“ → ”的基础知识和必考知识点
逻辑→的常见文字表述

如果A那么B ; A→ B
如果A则B ; A→ B
只要A就B;A→ B
如果不是A那么就是B;非A→ B
只有A才B；B → A
对A必须B；（谁是必须的，箭头就指向谁）A → B
除非A否则B；非A → B

知识点1：A → B 关系的定义，在A发生的情况下，B一定会发生。（A不一定发生）
如果有生命，就必须要氧气。生命→氧气
如果违法犯罪，就会受到惩罚。违法→惩罚
如果有文明，就一定有智慧。文明→智慧
如果爱，那么一定崇拜。爱→崇拜

知识点2：一个逻辑：A → B，仅在同时满足前件为真（逻辑发起方向）和后件为假（逻辑箭头结束方向）的时候，逻辑为假 。简称为，一个逻辑为假。说明同时满足：前真 and 后假

例题5，小张说：“如果我中了500万，我就送你一套房子”。小李说：“你说的是假话，在骗人”。哪个选项最能表达小李的意思。
A 小张没中500万，也没送小李房子。
B 小张中了500万，送了小李房子。
C 小张中了500万，但是没送小李房子。
D 小张没中500万，但却送了小李房子。
E 如果小张中了500万，那么他也不会送你房子。
解析：同时满足前真 and 后假，逻辑为假，A → B = 非A or B,如果逻辑为假，则 非（A → B）= 非（非A or B）= A and 非B.

知识点3：在A → B为真的情况下，它的逆否命题同时成立，非B →非A成立。
如果一个数是偶数，那么它一定是整数
如果一个人是西安人，那么他一定是中国人
如果有生命，那么必须有氧气

例题6，有人对“不到长城非好汉”这句名言的理解是，如果不到长城，就不是好汉。假定这种理解为真，则下列哪项判断必然为真？
A 到了长城的人就一定是好汉
B 如果是好汉，他一定到过长城
C 只有好汉，才到过长城
D 不到长城，也会是好汉
E 如果到过长城，就能被称为好汉
解析：非到长城 → 非好汉 则推出 好汉 → 到过长城

知识点4：在A→B为真的情况下
前件为真，则可以推出后件为真。A→B成立+A为真，可以推出B为真。
后件为假，可以推出前件为假。A→B成立+B为假（非B为真），可以推出A为假（非A为真）。

例题7，如果王林是公司经理，那么他一定学会管理学；王琳没有学过管理学，如果上述命题是真的，必然能推出的是？
A 管理学知识人人必备
B 有些公司经理不懂管理学
C 王林可能是公司经理
D 王林不是公司经理
E 王林可能不是公司经理
解析：经理 → 管理学成立+没有学过管理学，则非经理成立。

例题8，哲学家：“我思考，所以我哦存在。如果我不存在，那么我不思考。如果我思考，那么人生就意味着虚无缥缈”。如果“人生并不意味着虚无缥缈”补充到上述论证中，那么哲学家能得出什么结论？
A 我思考
B 我不思考
C我存在
D我不存在
E人生要过得有意义

5.3 “ and ”的基础知识和必考知识点
知识点1：A and B为假，等同于非A or 非B
知识点2：A and B为真，等同于同时给了两个条件：（1）A为真;(2)B为真
口诀：看到and 分别代入

真题难度范例1：已知：A → B；B and C → D为真；A and C 为真，能推出什么？
真题难度范例2*：已知：A → B or C为真；A and 非C为真，能推出什么？
真题难度范例3*：已知：A and B → C为真；非C能推出什么？

例题9，如果下雨，就要打雨伞，如果刮风，就要穿风衣，事实情况是，今天又下雨又刮风，能推出什么？
题干信息：下雨 → 打雨伞，刮风 → 穿风衣
给出事实真：下雨 and 刮风
推出：打雨伞 and 穿风衣

例题10，如果有入场券，就能够入场。入场后会被分到贵宾区或者观众区入座。
小张有入场券并且没有被分在观众区，请问能推出什么？
题干信息：有入场券 → 能够入场；能够入场 → 贵宾区 or 观众区
给出事实真：小张有入场券 and 非观众区
推出：小张在贵宾区