>>119
すごく亀レスだけどこれ公理じゃなくて定理だよね
https://i.stack.imgur.com/RLO4s.png
https://math.stackexchange.com/questions/2071705/proof-of-de-morgans-law