对偶法则

最新推荐文章于 2021-09-07 19:25:20 发布

白茶.清欢

最新推荐文章于 2021-09-07 19:25:20 发布

阅读量770

点赞数

分类专栏：考研 # 高等数学

本文链接：https://blog.csdn.net/baidu_41922918/article/details/116453911

版权

对偶法则逻辑符号数学证明量词转换命题否定

关键词由CSDN通过智能技术生成

考研同时被 2 个专栏收录

39 篇文章 52 订阅

订阅专栏

高等数学

33 篇文章 28 订阅

订阅专栏

对偶法则

命题P的一般形式为
$\boldsymbol{p}_{1} \boldsymbol{q}_{1}, \boldsymbol{p}_{2} \boldsymbol{q}_{2}, \cdots \boldsymbol{p}_{n} \boldsymbol{q}_{n}，使得\boldsymbol{q}_{n+1}(成立)$
其中 $p_{i}(i=1,2, \cdots, n)$ 为逻辑符号 $\forall$ 或 $\exists$ ，而 $q_{i}(i=1,2, \cdots, n+1)$ 代表普通的数学表达式，为了得到命题 $P$ 的否命题的正面叙述，只需要将命题 $P$ 中所有的逻辑符号 $p_{i}(i=1,2, \cdots, n)$ 从 $\forall(\exists)$ 改为 $\exists(\forall)$ ，并将最后的 $q_{n+1}$ 改为它的否定式即可。

举例：数列 $\left\{a_{n}\right\}$ 收敛于 $a$ ,按定义为
$\forall \varepsilon>0, \exists N, \forall n>N，$ 使得 $\left|a_{n}-a\right|<\varepsilon$ 。
它的否定，即数列 $\left\{a_{n}\right\}$ 不收敛于 $a$ ,就是
$\exists \varepsilon_{0}>0, \forall N, \exists n>N，$ 使得 $\left|a_{n}-a\right| \geqslant \varepsilon_{0}$