查看“︁否命题”︁的源代码

{{关于|数学逻辑的命题逻辑|[[传统逻辑]]的 "inversion"|换质不换位}}

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

给予初始[[实质条件]]命题“若P，则Q”：<math>P \to Q</math>，其否命题为“若非P，则非Q”<math>\neg P \to \neg Q</math>。

==参考==
{{reflist}}

==参见==
* [[逆命题]]
* [[逆否命题]]
* [[换质不换位]]

{{logic-stub}}
[[Category:逻辑学小作品]]
[[Category:数学术语]]
[[category:布尔代数]]
[[Category:邏輯聯結詞]]