それでできるだろ
α=(A|A')、β=(B|B')、-α=(C|C')、-β=(D|D')
但し、C=｛x∈Q|-x∈A'｝、C'=｛x∈Q|-x∈A｝、D=｛x∈Q|-x∈B'}、D'=｛x∈Q|-x∈B｝
B⊃AかつA≠B ⇒ C⊃DかつC≠D を示す