>>598
＞x,yを具体的に指定したとき初めて、正しい／間違っているを考えることができる
ああ、なるほどその通りです、言い直します
「x＋2y＝1 　2x＋4y＝3 を同時に満たすx,y存在する」という命題と、
「A集合が空集合でない」という命題が、
交換可能で等価である、ではないでしょうか
この二つの命題が矛盾する以上、どちらかが間違っているのであって、
「A集合が空集合でない」だけが間違っているとしてしまうのは視点の問題でしかないのではないかと

>>597
有難うございます！
定義のあいまいさを増すことで、かえって定義の的確性を増していますね、
確かに矛盾を統合しているように思います
あくまで数値であるため、突き詰めれば二値にも還元可能ですが、
その考え自体がファジー集合によって否定されるわけですね
事実上は無理ですが、無限に拡張すれば的確性は無限に上がりそうです
人間の頭の働きに近い気がします