否命题

在逻辑学中，否命题（）是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定，那么称这两个命题互为否命题。

给予初始实质条件命题“若P，则Q”：，其否命题为“若非P，则非Q”。

参考

参见
 逆命题
 逆否命题
 换质不换位

逻辑学小作品
数学术语
布尔代数
邏輯聯結詞