22/07/02 07:34:11.03 ZdpujcHk.net
これもスレチかもしれないんですが、
有限集合に、全体集合に対する補集合を表しているか否かのブール値を付与すれば
ANDもORもNOTも演算が可能な一応のなにがしかが得られる、みたいなアイデアを、
もうウン十年くらい前に思いつきました
すなわち、
集合Aを {1, 3, 6} とする
集合Bを {2, 3, 5}以外 とする
AとBの積集合は {1, 6} である
AとBの和集合は {2, 5}以外 である
みたいなアイデアなのですが、これには意味があったりなかったりしますか