目次ページ 　前ページ 　次ページ

1.　用語の定義と解説

1.2　論理演算に関係する用語

1.2.8　対偶（タイグウ）：contraposition

　「ＰならばＱである」に対して、否定形を使った［ＱでないならばＰでない］を対偶と言います。これを対偶の法則、または対偶律 (law of contraposition) と言います。
科学書刊株式会社:電子版　「橋梁＆都市 PROJECT: 2012」
前ページ 　次ページ