‹ 回去

3.1 联言推理

推理的含义、分类与基本形式 · 高二
先确认一下:这一关能不能学
先会这个
上面这几节是它的地基 —— 没通的话,补完再回来,比硬啃快得多。
讲清楚它是什么

定义 联言推理是根据联言判断的逻辑性质,从联言支的真假推导出结论的推理形式。

从哪来 它建立在3.3 复合判断之上。联言判断是复合判断的一种,其逻辑性质(全真才真,一假即假)是联言推理的直接依据。

为什么 联言判断由两个或两个以上的判断通过“并且”、“既……又……”等联结词组成。其逻辑规则是:只有当所有联言支都为真时,整个联言判断才为真;只要有一个联言支为假,整个联言判断即为假。 因此,推理分为两种方向: 1. 分解式:如果“p并且q”为真,那么p必然为真,q也必然为真。这是基于“全真才真”的逆否逻辑——既然整体真,部分必须真。 2. 合取式:如果p为真,q为真,那么“p并且q”为真。这是基于定义的直接应用。 这种推理保证了思维从整体到部分或从部分到整体的必然性,避免了逻辑跳跃。

适合:逻辑基础薄弱、喜欢直观类比的学生** **讲法:快递包裹类比** 把联言判断想象成一个密封的快递包裹,里面装着两件商品(p和q)。 - **分解式
如果你确认这个包裹是“完好无损且已签收”的(联言判断为真),那么你可以确定里面的商品p没丢,商品q也没丢。因为如果丢了任何一个,包裹状态就不可能是“完好且签收”。 - 合取式:如果你手里拿着商品p,也拿着商品q,把它们一起装进盒子封好,那么这个盒子就是“包含p和q”的。 强调:联言推理是“拆包”或“打包”的过程,只要前提真实,结果必然真实。
适合:理科思维强、喜欢公式化记忆的学生** **讲法:真值表逻辑推导** 列出联言判断 $p \land q$ 的真值表: | p | q | p∧q | |---|---|-----| | T | T | T | | T | F | F | | F | T | F | | F | F | F | - **分解式推理
观察第一行。只有当 $p \land q$ 为 T 时,p 必须是 T,q 必须是 T。其他三行 $p \land q$ 均为 F,无法推出 p 或 q 的真值(因为前提假时,结论可真可假,推理无效)。所以,由 $p \land q \vdash p$ 和 $p \land q \vdash q$ 是有效推理。 - 合取式推理:观察第一行。当 p=T 且 q=T 时,$p \land q$ 必然为 T。所以,由 $p, q \vdash p \land q$ 是有效推理。 强调:推理的有效性取决于真值表中是否存在“前提真而结论假”的情况。联言推理不存在这种情况。
适合:文科思维强、喜欢生活情境代入的学生** **讲法:人物特征描述** 假设我们要描述一个人“张三”。 - **分解式
已知“张三既聪明又勤奋”(联言判断为真)。 - 问:张三聪明吗?答:一定聪明。(因为如果他不聪明,整个描述就假了) - 问:张三勤奋吗?答:一定勤奋。 - 合取式:已知“张三聪明”(p真),且“张三勤奋”(q真)。 - 结论:我们可以断定“张三既聪明又勤奋”。 强调:联言推理是“兼得”的逻辑。只要前提中所有条件都满足,结论就必然成立;只要整体描述成立,每个单独条件也都成立。
看不明白?看一段视频 ▾待生成
练一道
基础题
前提:小明既通过了数学考试,又通过了英语考试。 结论:小明通过了数学考试。
变式
前提:李华没有通过数学考试。 结论:李华既没有通过数学考试,也没有通过英语考试。
看解答过程
1. 识别判断类型:前提“小明既通过了数学考试,又通过了英语考试”是联言判断,设 p=通过数学,q=通过英语。 2. 识别推理形式:从联言判断“p∧q”推出联言支“p”,属于联言推理的分解式。 3. 逻辑验证:根据联言判断性质,若“p∧q”为真,则p必为真,q必为真。 4. 结论:推理有效,结论成立。
试试手自己判
检测题
前提1:王强既擅长篮球,又擅长足球。 前提2:王强不擅长足球。 结论:王强不擅长篮球。 问:这个推理是否有效?为什么?
看答案和判分标准
答案:推理无效。
判对标准:
1. 学生能指出前提1是联言判断(p∧q),前提2是其中一个联言支的否定(¬q)。
2. 学生能说明:联言判断“p∧q”为真,要求p和q都为真。但前提2说q为假,这与前提1矛盾(前提1和前提2不能同时为真)。
3. 关键点:即使忽略矛盾,从“p∧q”和“¬q”也不能直接推出“¬p”。联言推理的分解式只能从“p∧q”推出“p”或“q”,不能推出“¬p”。要推出“¬p”,需要的是选言推理或假言推理的逻辑,或者通过矛盾律进行归谬,但这不属于标准的联言推理形式。
4. 更准确的逻辑分析:前提1和前提2构成矛盾,前提不一致,推理前提本身有问题。但如果仅看推理形式,从“p∧q”和“¬q”推出“¬p”不是联言推理的有效式。联言推理没有“否定一个联言支推出另一个联言支为假”的规则。
容易错在哪儿 ▾点开看
这一步没懂?写一句问老师 ›
内容由卡片自动生成 · 有不对的地方告诉老师
这张卡有问题?告诉老师 ›