世界大百科事典（旧版）内の対偶の法則の言及
【対偶】より
…例えば，p：〈すべてのSはPである〉の対偶は，q：〈いかなる非‐PもSでない〉である。現代論理学では，A,Bを論理式とし，⊃は〈もし……ならば……〉，～は〈……でない〉を表す記号とするとき，式A⊃Bに対して，式～B⊃BAを対偶と呼び，〈A⊃Bと～B⊃～Aの真偽は一致する〉を対偶の法則law of contrapositionと呼ぶ。【岡部 満】。…
※「対偶の法則」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」