逆否命题，原命题，反命题，逆命题关系及区别

逆否命题、原命题、反命题、逆命题是命题逻辑中常用的概念，它们之间的关系和区别如下：

- 原命题：是指命题逻辑中最基本的命题，它可以是真的或假的。
- 反命题：是指将原命题中的主语和谓语都取反而得到的命题，即将原命题的否定词和主语、谓语都取反。例如，原命题为“所有的狗都会叫”，则反命题为“所有的非狗都不会叫”。
- 逆命题：是指将原命题中的主语和谓语都取反并且改变它们的顺序得到的命题，即将原命题的主语和谓语都取反并且交换它们的位置。例如，原命题为“所有的狗都会叫”，则逆命题为“所有会叫的动物都是狗”。
- 逆否命题：是指将原命题的主语和谓语都取反并且改变它们的顺序，再将它们都取反得到的命题。例如，原命题为“所有的狗都会叫”，则逆否命题为“所有不会叫的非狗都不是狗”。

逆否命题和原命题有相同的真值，即它们都为真或假；反命题和逆命题的真值不一定与原命题相同，只有在原命题为真时才与原命题真值相同。