>>12
仮定が既定に変わっただけでしょ。

PならばQ（＝Pかどうかは分からないけど、もしも、仮に、ifとして、Pであることが言えたなら、Qは正しい）

このPが確定に変わっただけの話。
普通に対偶は成り立つよね。どこか飛躍してるところある？

それとも、仮定の段階からでも対偶は取れるので、既定でなければ対偶は取れないは間違いだって話なら、確かにそうですね。でも俺そんなこと言ってないです。って感じです。