定义和含义

一个命题[math]\displaystyle{ A\Rightarrow B }[/math]的否命题记作[math]\displaystyle{ \overline{A} \Rightarrow \overline{B} }[/math]

辅助理解的解释

否命题也是数学中命题的一种，它是由原命题通过取反假设和结论得到的命题。具体地说，如果原命题是“如果A成立，则B成立”，那么它的否命题就是“如果A不成立，则B不成立”。举个例子，如果原命题是“如果这个数是偶数，那么它可以被2整除”，那么它的否命题就是“如果这个数不是偶数，那么它不能被2整除”。需要注意的是，否命题与原命题的真假性并不一定相同。

相关的概念有逆命题、逆否命题。