2012年5月22日火曜日

「BはAの部分集合ではない」の言い換え

A含まれないB」「B含まれないA」は、「Ac含まれないBc」「Bc A≠Ω」「BAc ≠ φ」「BA   φ」と互いに言い換え可 を新規作成、アップロード。