定义 命题的四种形式指原命题、逆命题、否命题、逆否命题及其相互转化关系。
从哪来 本节为高一数学逻辑起点,无前置知识点,基于自然语言逻辑构建。
为什么 逻辑上,命题 $p \Rightarrow q$ 与 $q \Rightarrow p$(逆)、$\neg p \Rightarrow \neg q$(否)、$\neg q \Rightarrow \neg p$(逆否)是四种基本推导路径。其中原命题与逆否命题逻辑等价,逆命题与否命题逻辑等价,这是由真值表决定的必然规律,而非人为规定。
讲法
适合:直觉型、喜欢类比的学生
用“身份转换”类比。设 $p$ 为“穿校服”,$q$ 为“是学生”。
- 原命题:穿校服 $\rightarrow$ 是学生。
- 逆命题:是学生 $\rightarrow$ 穿校服(把条件和结论互换位置)。
- 否命题:不穿校服 $\rightarrow$ 不是学生(条件和结论都否定)。
- 逆否命题:不是学生 $\rightarrow$ 不穿校服(先互换,再否定)。
强调动作顺序:逆是“换”,否是“反”,逆否是“先换后反”。
讲法
适合:逻辑型、喜欢结构的学生
用“坐标变换”视角。将命题看作有序对 $(p, q)$。
- 原命题:$(p, q)$
- 逆命题:$(q, p)$ —— 交换坐标
- 否命题:$(\neg p, \neg q)$ —— 坐标取反
- 逆否命题:$(\neg q, \neg p)$ —— 先交换再取反
指出:$(p, q)$ 与 $(\neg q, \neg p)$ 在逻辑真值上始终同步,这是核心结构。
讲法
适合:易混淆、需要口诀的学生
口诀法:“逆换否反,逆否先换后反”。
- 逆:只换位置,不否定。
- 否:只否定,不换位置。
- 逆否:既换位置,又否定。
配合手势:双手交叉表示“换”,双手翻转表示“否”。