なぜ、対偶と元の命題の真偽は一致するのですか？

[0134 １３２人目の素数さん 2023/11/11(土) 00:15:37.68 ID:YBqiRc4v]

>>131
証明書く気はあるんだな？
(|- X) ⇔ (|- Y)
が成り立つから、X↔Yがシーケント計算で証明できるときXとYの真偽値は等しいって主張でいいのか？