集合論的推論の基礎

条件命題はその対偶と真理値が一致するため、複数の前提条件から対偶を適切に用いて論理的に結論を導くことができ、この推論能力は法的三段論法の基礎をなす。

条件命題の裏・逆は、元の命題と真理値が一致するとは限らない。