これってつまり
ある女Aがいて、その敵の内訳は女a、女b、女c…というものであって、女以外の属性は出てこないということだよな
Fを女全体の集合、F ∋ fとおいて、「任意の女fの敵」をE(f)と表すようにしたとき、
∀f F ⊃ E(f)となるわけだ
つまり、「女たちは敵対しているが、女以外の属性に敵はいない」ということだな
また、命題の待遇である「女でないなら女の敵ではない」が成り立つ
どの女の敵でもない女というのがいる(F ∋ f, g : ∃g ∀f E(f) !∋ g )ことが考えられるから、
「女は女の敵である」は成り立つとはいえない、つまり全てのE(f)の和 = F は成り立たない
また同時に、その対偶である「女の敵でないなら女ではない」も成り立たない
さて、この言葉は女以外の属性以外には何も言っていないから、男とか子供とかゲイとか金持ちとか地主とか農家とかの属性の敵が何かはわからない
しかし、男であるとかゲイであるとか、何かしらの属性によって「女でない」ことが分かれば、命題の対偶によって「女の敵ではない」が成り立つ
したがって、「女の敵は女」という言葉は、「男は女の敵ではない(女でないものは女の敵ではない)」(F !∋ g : ∀f E(f) !∋ g )を含意しているといえる
これはフェミニスト公理である「全ての男は女の敵」(F ∋ f M ∋ m : ∀m ∃f E(f) ∋ m )と矛盾する
「すべての」とか命題のどこにも含まれてないやろがい