| 原命题 primitive proposition 如果一个命题的题设和结论分别是另一个命题的结论和题设，则这样的两个命题互称为原命题和逆命题。也就是说当“若A，则B”为原命题时，则“若B，则A”为逆命题。如以(1)“若两个角为对顶角，则此两角相等”和(2)“若三角形三边相等，则三角形三角相等”为原命题，那么它们的逆命题就分别为“若两角相等，则两个角为对顶角”，“若三角形三角相等，则三角形三边相等”。原命题与逆命题间的真假关系是：当原命题真时，其逆命题未必真。如例(1)的原命题真，其逆命题不真，而例(2)的原命题真时，其逆命题也真。这种区别取决于A、B之间条件关系的不同。当A、B之间是充分条件关系时，则会出现例(1)那种原命题与其逆命题之间的真假关系，而当A、B之间是充分必要条件关系时，则会出现例(2)那种原命题与其逆命题之间的真假关系。 |