分类:否命题
来自Big Physics
定义和含义
一个命题[math]\displaystyle{ A\Rightarrow B }[/math]的否命题记作[math]\displaystyle{ \overline{A} \Rightarrow \overline{B} }[/math]
辅助理解的解释
否命题也是数学中命题的一种,它是由原命题通过取反假设和结论得到的命题。具体地说,如果原命题是“如果A成立,则B成立”,那么它的否命题就是“如果A不成立,则B不成立”。举个例子,如果原命题是“如果这个数是偶数,那么它可以被2整除”,那么它的否命题就是“如果这个数不是偶数,那么它不能被2整除”。需要注意的是,否命题与原命题的真假性并不一定相同。
本分类目前不含有任何页面或媒体文件。