2個以上の元のOR

論理学を完成したい。

私の問題意識はこのような不思議なORが存在するということだった。

グレーの領域は無を表す。

それは2個以上の元のORを示し得るとある時、気付いた。

例えば、A=(a b)、B=(b c)として、2個のAが存在するか2個のBが存在するかは、集合の集合を用いて((a b) (b c))と表される。(a b c)を含める流儀はあり得る。

それは1つのベン図では表せない。

Home