四种命题的关系sizhong mingti de guanxi

变化一个命题的条件与结论，可以得到一个命题的四种形式：“A→B”，“B→A”，“→”，“→”(参见“互逆命题”、“互否命题”、“互为逆否的命题”)，其中，“A→B”与“B→A”，“→”与“→”是互逆关系，“A→B”与“→”，“B→ A”与“→”是互否关系，“A→B”与“→”，“B→A”与“→”是互为逆否的关系（见图）.

能够证明，原命题与它的逆否命题是等价命题，即互为逆否关系的两个命题同真或同假.互逆关系或互否关系的两个命题不一定同真或同假，因此，虽然原命师是真命题，但是它的逆命题或否命题的真实性需要经过证明才能确定.
有一类特殊命题——分断式命题的逆命题与原命题等值，即真假相同(参见“分断式命题”).