2012年7月4日水曜日

集合AはBと交わるが、Bの部分集合でない

AB ≠ φ かつ ¬AB 」 (集合AはBと交わるが、Bの部分集合でない)」と互いに言い換え可能な表現一覧
「どうして【表現1】のとき【表現6】と言ってもいいの?」からTautologyへのリンク設置。