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

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

在[[逻辑|逻辑学]]中，'''逆命题'''（{{lang-en|converse}}）是一个[[命题]]的条件与结论分别是另一个命题的结论与条件时，这两个命题互逆，也就是说其中任一个命题是另一个命题的逆命题。

两个互为逆命题的命题。在命题的四种形式中，原命题与逆命题，[[否命题]]与[[逆否命题]]是两对互逆命题。比如说有“假如事件A为真，则事件B也为真”，那么它的逆命题就是“假如事件B为真，则事件A也为真”。因为这类命题的[[真值]]与原命题的真值无关，因此无法通过原命题的真假性来判断逆命题的真假性。

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

<!--
==参考==
{{reflist}}
-->

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

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