SQLのNULL的なやつ(ちょっと違うけど) そんな風に人間の限界を無視して背理法も排中律も使い放題で数学やっていると、今に痛い目に合うぞ。(p283) 3値理論 排中律¬A∨Aが必ず成り立つとは限らない(トートロジーではない)論理 真(1)・偽(0)・可能(0.5) ３値理…