2011年2月8日火曜日

∩と「かつ」/∪と「または」/補集合と「~でない」の翻訳

集合と一項述語(1変数命題関数)とのリンクを記すノートに、

を追加。