要素であるか、または要素ではない問題\(A\)は集合である。「\(1\)は\(A\)の要素である」を命題\(P\)とする。「\(1\)は\(A\)の要素ではない」を命題\(Q\)とする。このとき「\(P\)または\(Q\)」の真偽を答えよ。\(A\)は集合なので「\(1\)は\(A\)の要素である」か「\(1\)は\(A\)の要素ではない」かの、どちらか一方は必ず真になります。したがって「\(P\)または\(Q\)」は真です。このことは\(A\)がどんな集合であるかには依存しません。別の言い方をするなら「\(P\)と\(Q\)のどちらも成り立たない」あるいは「\(P\)と\(Q\)の両方が成り立つ」としたら、\(A\)は集合とはいえません。\(A\)が数の集合なのか、点の集合なのか、文字の集合なのかは「\(P\)または\(Q\)」の真偽とは無関係です。\(A\)が集合であるなら「\(P\)または\(Q\)」はどんな集合\(A\)に対しても真になります。ちなみに「\(P\)かつ\(Q\)」は偽になります。それはそれとして、数学の議論で普遍集合(いま議論している話の中で対象としているものすべてを集めた集合)を設定しておく気持ちもわかります。ある整数\(n\)が、ある数の集合\(A\)の要素かどうかを考えているとき、「カエルは\(A\)の要素だろうか」と気がそれずに済みます(どんなカエルも\(A\)には属さないですが)。@hyuki『数学ガール』作者。結城メルマガとWeb連載を毎週書いてます。文章書きとプログラミングが好きなクリスチャン。結城浩のサイト内を検索する。