10命题逻辑习题课.pptx

10命题逻辑习题课by文库LJ佬2024-06-16

CONTENTS命题逻辑概述充分必要条件逻辑等价式推理规则量化命题逻辑谬误

01命题逻辑概述

命题逻辑概述命题逻辑概述命题逻辑基础：

算子、主词、逻辑联结词。练习题：

判断下列命题中的算子是什么类型。

命题逻辑基础逻辑联结词:

用于连接不同命题的词语。逻辑结论:

从已知事实推导出的结论。矛盾命题:

包含对立观点的两个命题。

练习题包含算子:

命题A包含命题B，求A的算子。

02充分必要条件

充分必要条件充分必要条件条件逻辑：

充分条件与必要条件。

练习题：

判断下列命题是否具有充分必要条件关系。

命题判断:

A是奇数，则A不是偶数，这两者之间的关系是什么？

条件逻辑充分条件:

A→B表示A是B的充分条件。

必要条件:

A→B表示B是A的必要条件。

03逻辑等价式

逻辑等价式逻辑等价：

等价命题的逻辑关系。

等价式定义:

两个命题在所有情况下都相同。练习题：

列举两个逻辑等价式的例子。

等价式比较:

A∨B与?A→B之间的逻辑等价性如何证明？

04推理规则

推理规则逻辑推理：

合取析取三段论。

练习题：

应用推理规则判断下列命题的真假。

推理练习:

若A为真，则B为真；若B为真，则C为真，如果C为假，推断A为假。

逻辑推理逻辑推理合取:

使用合取规则进行推理。析取:

使用析取规则进行推理。三段论:

推理中的基本规则之一。

05量化命题

命题量化：

全称量词与存在量词。

练习题：

使用量词判断下列命题的真假。

量词练习:

所有猫都会爬树与存在一只猫不会爬树，两者之间的逻辑关系是什么？

命题量化全称量词表示所有元素都满足的量词。存在量词表示至少存在一个元素满足的量词。

06逻辑谬误

逻辑谬误谬误分析：

常见逻辑谬误分类及示例。

练习题：

识别下列命题中可能存在的逻辑谬误。

谬误分析:

若A成立，则B成立，但B不成立，是否必然导致A不成立？

谬误分析谬误分析陷阱错误:

逻辑推理中常见的谬误类型之一。假设错误:

在推理过程中错误假设导致的谬误。

THEENDTHANKS