对偶法则

对偶法则

命题P的一般形式为
$${\mathbf{p}}_1{\mathbf{q}}_1,{\mathbf{p}}_2{\mathbf{q}}_2,\cdots {\mathbf{p}}_n{\mathbf{q}}_n，使得{\mathbf{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}$改为它的否定式即可。

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