>>42
いつも不思議に思うのだが、このド・モルガンは議論のスタートとなる公理なの？
それとも、なんらかの公理から導かれる定理なの？
教科書の最初の方でカップハットをやらされる度に思う疑問です