どうしてある命題の真偽と対偶の真偽は一致するの?