>>76
>「一組の辺が平行な四角形が台形ならば、平行四辺形は台形である」
一組の辺が平行な四角形」の集合A
台形」の集合B
平行四辺形」の集合C
「A⊂B ⇒ C⊂B」の対偶は「¬(C⊂B) ⇒ ¬(A⊂B)」
一般に「X⊂Y」とは「X\Y=φ」が定義（同値）
つまり「¬(X⊂Y)」とは「X\Y≠φ」ちうこと
対偶は
「平行四辺形の中に台形で無いものが存在するなら一組の辺が平行な四角形の中に台形で無いものが存在する」
君が書いたのは
「C∩B=φ ⇒ A∩B=φ」
でもちろん対偶ではないが真ではあるから安心してイイよ