三种方式理解原、逆否命题同真同假- _Famiglistimo

证明1 感性理解

把这个问题翻译成人话：（如果 $\alpha$ 是真的，那么 $\beta$ 是真的）说明（如果 $\beta$ 是假的，那么 $\alpha$ 是假的）

其实是显然的，我们考虑 $\alpha$ 和 $\beta$ 的真假情况：

$\alpha$ $\beta$

可以看出逆否命题即使逆命题和否命题的组合

我们要证明的即是： $(p\to q)\to(\neg q\to\neg p)$

举个栗子，原命题：如果小明打碎了花瓶，那么她妈妈一定会打他。

它的逆否命题为：如果小明妈妈没有打小明，那么小明一定没有打碎花瓶。

从这个栗子可以想到：二者的真假性是相同的

因此设满足 $p$ 的元素构成集合 $P$ , 满足 $q$ 的元素构成集合 $Q$ ，满足 $\neg p$ 的元素构成集合 $P^{\prime}$ ，满足 $\neg q$ 的元素构成集合 $Q^{\prime}$ 。于是，对于全集 $U$ ， $P^{\prime}$ 是 $P$ 的补集 $\complement_UP$ ， $Q^{\prime}$ 是 $Q$ 的补集 $\complement_UQ$

证明3 定理

可以先了解一下这个啊

我们需要证明的是： $\vdash(P\to Q)\to(\neg Q\to\neg P)$

$P\to Q$ 表示 $P$ 蕴含 $Q$ ,它是命题 $\neg P\vee Q $

$\neg Q\to\neg P$ 表示 $\neg Q$ 蕴含 $\neg P$ ，它是命题 $\neg(\neg Q)\vee\neg P=Q\vee\neg P$

显然有 $\neg P\vee Q=Q\vee\neg P$

因此二者真值相同

由此，我们可以知道命题和否命题的真假性也相同

https://www.zhihu.com/question/296606243