旧課程(-2012年度)高等学校数学A/集合と論理のソースを表示

== 集合と論理 ==
=== 集合とは ===
中学では、たとえば「自然数のあつまり」とか「9以下の自然数のあつまり」とか「負の整数のあつまり」のようなものを、集合（しゅうごう）と読んできた。

では、数学でいう「集合」とは何か、これから考えていこう。


数学では、ある集まりのうち、さらに、それに属しているか属してないかを明確に区別できる条件のある物のあつまりを'''集合'''（しゅうごう、英：set）という。例えば、「自然数」は「''n'' > 0となる整数''n'' の全体」という区別可能な条件があるので集合といえる。

しかし「大きな数」というあつまりは、どこからが「大きな」数といえるのかがはっきりしないため、数学の「集合」ではない。

ただし、「大きな数」を例えば「1億以上の整数」と区別できるように定義すれば集合になりえる。


さて、数学的な「集合」を構成するもの一つ一つのことを、その集合の '''要素'''（ ようそ、英：element）という。


 例
 7以下の自然数の集合の要素は、1と2と3と4と5と6と7 である。


なお、「要素」という言葉を使う場合、べつに集合のなかみを全部を並べる必要は無く、

たとえば、「2は、7以下の自然数の集合のうちの要素である」と言っても大丈夫です。前の文の「2」を1以上から7以下の別の整数に置き換えても大丈夫です。

上述したように、要素とは集合を構成するものの一つ一つのことです。


 例
 「自然数の集合」の要素なら、自然数1や自然数2や自然数3、・・・などのひとつひとつの自然数がそれぞれ要素である。

「 1 は自然数の集合の要素である」といえる。

「 27 は自然数の集合の要素である」といえる。

自然数の集合のように、集合は必ずしも要素が有限でなくても構いません（集合の要素は無限でも良い）。


（※ 範囲外？ ）なお、数学的には、区別がはっきりしさえすれば、例えば「△△高校の今の3年B組の生徒全員」等も集合として考えることができる。かならずしも「集合」とは「自然数」や「整数」などの数でなくてもいい。

（範囲外）数と数との対応関係である「関数」を、集合の各要素と集合の各要素との対応関係へと拡張することができる。（この集合は数の集合でなくても良い。）このような対応関係を'''写像'''と呼ぶ。詳しくは大学の「集合論」で扱うが、「全射」や「単射」など、知っておくと証明に便利な知識がある。
（範囲外ここまで）

=== 集合や要素の関係の表し方 ===

==== 集合と要素 ====
[[File:Mathematical set A with element a with no element b.svg|thumb|]]

aが集合Aの要素であるとする。このとき、aは集合Aに'''属する'''(ぞくする)といい、記号で、

:a &isin; A
::または 逆向きに 
:A <math> \ni </math> a
と表す。


bがAの要素でないときは、

:b <math>\notin</math> A
::または 逆向きに 
:A [[File:Set symbol of not-element.svg|20px]] b
と表す。

集合をあらわすとき、主に2種類の方法がある。（例は「10以下の自然数のうち偶数であるもの」の集合を表す。）
:（1）　要素を書き並べる方法
:（2）　要素の満たす条件を述べる方法
である

[[File:Set of natural numbers less than 10.svg|thumb|]]
たとえば、「10以下の自然数のうち偶数であるもの」の集合を表す場合、（1）　の方法（要素を書き並べる方法）では、
: {2, 　4, 　6, 　8, 　10}
となる。

一方、（2）の方法（要素の満たす条件を述べる方法）では、
:{ x | x=2n (nは自然数), 2 &le; x&le; 10 }
:{ x | xは2以上10以下の偶数 }
:{ 2n | 1 &le; n&le; 5 (nは自然数) }
:{ 2n | nは1以上5以下の自然数 }
などのようになる（何通りかある）。


;備考
100以下の自然数の集合 A を、さきほどの（1）「要素を書き並べる方法」の方法で書く場合、
:A ＝ {1, 　2, 　3, 　4, ・・・ , 99, 　100}
となる。また、この記法の「・・・」のように、要素の個数がとても多い場合や無数にある場合には、｛ ｝記号内の要素の途中を「・・・」または「……」、「…」などの点々で省略してよい。
:（※ なお、ワープロで「……」などの短い点々を出したい場合、「三点リーダー」で変換すると出る。点が6つあっても「三点リーダー」で出る。
:東京書籍の検定教科書で、短いほうの三点リーダーを使っている。啓林館などは、6つの点の長い三点リーダーを使っている。）


100以下の偶数の集合 B は、この記法（要素を書き並べる方法）では、
:B ＝ {2,　 4, 　6, ・・・ , 98, 　100}
のようになる。


正の偶数全体の集合の要素は（1）「要素を書き並べる方法」の方法で書く場合、
:{2, 　4, 　6, 　・・・}
のようにも書ける。

==== 集合どうし ====
===== 部分集合 =====
[[File:Venn A subset B 2.svg|thumb|集合Aが集合Bの部分集合である場合]]

2つの集合A,Bがあり、x&isin;A ならば x&isin;Bが成り立つとき、AはBの '''部分集合''' (ぶぶんしゅうごう、英：subset)であるといい、「BはAを含む」か「AはBに含まれる」という。この状態を記号で
:A &sub; B
または
:B &sup; A 
で表す。


'''補足'''　　

Aの部分集合にはA自身もある。（つまり　A &sub; A　である）。 

また、A,B の集合の要素が同じとき、
:A ＝ B 
で表す。


{{-}}
;例
集合 A ＝ {1, 2, 3} と 集合 B ＝ {1, 2 , 3 , 4, 5} があるとき、A は Bの部分集合である。


----

===== 共通部分と和集合 =====
[[File:Subset intersection A and B.svg|thumb|色の部分は<br>共通部分 A &cap; B ]]

2つの集合A,Bがあるとき
それらの両方の要素であるものの集合を
AとBの '''共通部分'''（きょうつうぶぶん）と呼び、
:A &cap; B 
と書く。

{{-}}
[[File:Subset union A or B.svg|thumb|色の部分は<br>和集合 A &cup; B]]
また、集合A,Bの少なくともどちらか一方には属している要素からなる集合のことを、AとBの'''和集合'''（わしゅうごう、英：union）と呼び、
:A &cup; B
と書く。

{{-}}
===== 3つの集合の共通部分と和集合 =====
[[File:Intersection A and B and C.svg|thumb|A &cap; B &cap; C ]]

3つの集合 A, B, C については、3つのどれにも属する要素全体の集合を A,B,C の共通部分と呼び、<br>
'''A &cap; B &cap; C''' で表す。

{{-}}
[[File:Venn union A or B or C.svg|thumb|A &cup; B &cup; C]]

また、集合 A, B, C の少なくとも1つに属する要素の集合を A,B,C の和集合と呼び、<br>
'''A &cup; B &cup; C''' で表す。
{{-}}
----

===== 空集合 =====
たとえば、「10以下の自然数のうちの偶数」の集合Aと、「10以下の自然数のうちの奇数」の集合Bについて、集合Aと集合Bの共通部分には、何も要素が無い。

この例のように、「要素がなにもない」という場合もあるので、数学では「要素がなにもない」場合もひとつの集合として考える。

要素をもたない集合のことを '''空集合'''(くうしゅうごう、英：empty set あるいは null set)といい、記号は
:<math>\varnothing</math>
であらわす。

ギリシャ文字のファイ（&phi;,<math>\phi\ </math>）で表されることが多くあるが、厳密にはそれは誤りである。上の記号の他に<math>\empty</math>等も用いられるが、この教科書では、<math>\varnothing</math>を用いる。


;補足
どのような集合Aにも、空集合は部分集合として含まれる。

つまり、空集合でないある集合をAとすると、
:<math>\varnothing</math> &sub; A 
である。


;例
集合 { 1, 2 } の部分集合をすべて列挙すると、次の4つの集合になる。
:∅  ,　{1} ,　{2} ,　{1,2}


----
{{-}}

===== 全体集合・補集合 =====
[[File:Universal set and complement.svg|thumb|色つきの部分が補集合 <math>\overline{A}</math> ]]

集合 U を1つ設定し、その集合の要素や部分集合のみを考える場合を考える。このようなとき、集合Uを '''全体集合'''（ぜんたいしゅうごう、英：universal set） という。

全体集合Uの要素のうち、集合Aに属さないもの全体からなる集合のことをAの '''補集合''' （ほしゅうごう、英：complement）といい、記号で補集合は <math>\overline{A}</math>と表す。

すなわち
:<math>\overline{A}</math> ＝ {x | x∈U かつ x <math>\notin</math> A}
である。

::<math>\overline{ (\overline{ A }) }</math>  は <math>\overline{A}</math> の補集合を表す。　　<math>\overline{ (\overline{ A }) }</math>  </span> は <math>\overline{ \overline{ A } }</math> と書く場合もある。


補集合について、次のことが成り立つ。
 A∩<span style="text-decoration: overline">A</span>＝∅  , 　　A∪<span style="text-decoration: overline">A</span>＝U , 　　<math>\overline{ (\overline{ A }) }</math> ＝A　


;ド・モルガンの法則<ref>
[[File:AugustusDeMorgan.png|thumb|ド・モルガン]]
[[w:オーガスタス・ド・モルガン]]は19世紀イギリスの数学者。</ref>

:<math>\overline{A \cap B}=\overline{A} \cup \overline{B}</math>
: 　
:<math>\overline{A \cup B}=\overline{A} \cap \overline{B}</math>


下の図を用いて上の法則が正しい事を確かめよう。

<gallery>
Image:Venn-diagram-AB.png|2つの集合の一部に重なっている部分がある場合
Image:Venn-diagram-ABC.png|片方がもう片方の部分集合である場合（AとB）と、集合同士が独立している場合（AとC）
</gallery>

<gallery widths=300px heights=300px>
Image:Venn_diagram_ABC_RGB.png|3つある場合（AとB、BとC、CとA）
Image:Venn diagram ABCD RGB.png|4つある場合（AとB、AとC、AとD、BとC、BとD、CとD）
</gallery>

* 問題
A={x|xは1以上20以下の2の倍数}・B={y|yは1以上20以下の3の倍数}とする時、以下に適する集合の要素を列挙せよ。ただし、全体集合U={z|zは1以上20以下の整数}とする。
# <math>\overline{A}</math>
# <math>\overline{B}</math>
# <math>A \cap B</math>
# <math>A \cup B</math>
# <math>A \cup \overline{B}</math>
# <math>\overline{A \cap B}</math>
# <math>\overline{A} \cup \overline{B}</math>
# <math>A \cap \overline{A}</math>
# <math>B \cup \overline{B}</math>
# <math>A \cap \varnothing</math>
# <math>B \cup \varnothing</math>
# <math>A \setminus B</math>
# <math>B \setminus A</math>
# <math>(A \setminus B) \cap (B \setminus A)</math>

* 解答
# <math>\overline{A}</math>={1,3,5,7,9,11,13,15,17,19}
# <math>\overline{B}</math>={1,2,4,5,7,8,10,11,13,14,16,17,19,20}
# <math>A \cap B</math>={6,12,18}
# <math>A \cup B</math>={2,3,4,6,8,9,10,12,14,15,16,18,20}
# <math>A \cup \overline{B}</math>={1,2,4,5,6,7,8,10,11,12,13,14,16,17,18,19,20}
# <math>\overline{A \cap B}</math>={1,2,3,4,5,7,8,9,10,11,13,14,15,16,17,19,20}
# <math>\overline{A} \cup \overline{B}</math>={1,2,3,4,5,7,8,9,10,11,13,14,15,16,17,19,20}
# <math>A \cap \overline{A} = \varnothing</math>
# <math>B \cup \overline{B} = U</math>={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}
# <math>A \cap \varnothing = \varnothing</math>
# <math>B \cup \varnothing</math>= {3,6,9,12,15,18}
# <math>A \setminus B</math>={2,4,8,10,14,16,20}
# <math>B \setminus A</math>={3,9,15}
# <math>(A \setminus B) \cap (B \setminus A) = \varnothing</math>

{{-}}


===== （※ 範囲外）集合の「要素」は「元」ともいう =====
:（※ 編集者へ）コラム化しようと思いましたが、記号が干渉して表示が上手く出来ないので、独立した節とします。
:※ 図書館などで数学書を調べるさいに「元」という表記も出てくると思いますので、紹介しておきます。
<!-- 現役高校生には当面は不要な情報なので、章末に置こうと思います。 -->

集合の要素のことを、ふるい呼び方ですが「'''元'''」（げん）とも言います。

念のため例を示すと、たとえば「1以上かつ12以下の偶数の集合」と言えば 

たとえば、「10以下の自然数のうち偶数であるもの」の集合
: {2, 　4, 　6, 　8, 　10}
を集合Aとした場合、

『「4」は集合Aの要素である』と言えますが、同様に『「4」は集合Aの元である』とも言えます。

例として「4」をあげましたが、別に「6」でも「10」でも構いません。「2」も「6」も「8」も「10」も、それぞれ上述した集合Aの要素（元）です。

=== 命題と証明 ===
==== 命題と条件 ====
（数学的に）正しいかどうかを明確に判断できる主張を'''命題'''（めいだい、英: proposition）と呼ぶ。
例えば、「7は素数である」は命題の例である。
（一方、「5000は大きい数である」などは命題とはならない。なぜなら「大きい」という言葉の判断が主観的なものであり、判断に明確な基準が設定できないからである。）


ある命題が明確に正しい（と証明される）とき、その命題は'''真'''（しん、英：truth）であると呼ぶ。(たとえば、命題「7は素数である」は真である。)
命題が真でないとき、命題は'''偽'''（ぎ、英：false）であると言う。たとえば、命題 「 もし <math>x^2 = 4</math> であれば <math>x = 2</math> である。 」 は、偽の命題である。
この方程式は<math>x = -2</math>も解に持つ。


上の命題「"<math>x^2 = 4</math>ならば<math>x = 2</math>である"」は<math>x = -2</math>もあてはまるので偽になった。
命題<math>\rm p \Rightarrow q</math>が偽であるときは、<math>p</math>は満たすが<math>q</math>を満たさない例が存在する。そのような例を'''反例'''（はんれい）という。'''命題が偽であることを示すには、反例を1つあげればよい。'''

命題は、「pならばqである」の形式で書かれる場合が多い。


「 pならばqである」という命題を、記号「<math>\Rightarrow</math>」を用いて
:<math> \rm p  \Rightarrow  q </math>
と書く。

また、この条件pをこの命題の'''仮定'''（かてい、英：assumption）といい、条件qをこの命題の'''結論'''（けつろん）と呼ぶ。


* 問題
次の命題の真偽を判定し、偽の場合は反例も挙げよ。
# 　<math>ab>0</math>ならば<math>a>0</math>かつ<math>b>0</math>である。
# 　<math>a \ge b</math>かつ<math>b \ge a</math>ならば<math>a=b</math>である。
# 　正三角形を2つ用意すればそれらは相似である。
# 　素数ならば奇数である。

* 解答
# 　偽(反例：<math>a=-1 , b=-2</math>など)
# 　真
# 　真
# 　偽(反例：2)


==== 命題と集合 ====
[[File:Sets contraposition diagram.svg|thumb|]]

条件や条件を含む命題を考えることは、集合を考えることと同じである。

たとえば、実数 x について「x＞3 ならば x＞1 である」という命題は真である。

ここで「x＞3 である」という条件を p とし、また、x＞3 である数の集合を P としよう。つまり P＝｛x| x>3 ｝である。 

同様に、「x＞1である」という条件を q とし、x＞1である数の集合を Q としよう。つまり Q＝｛x| x>1 ｝である。 

このとき、命題 <math>\rm p \Longrightarrow q</math> は真であるが、これは集合の包含関係 P⊂Q が成り立つことに対応している。

==== 必要条件と十分条件 ====
[[File:必要条件と十分条件.svg|thumb|]]
2つの条件 p,q について、命題「p⇒q」が真であるとき、

:pはqであるための '''十分条件''' （じゅうぶん じょうけん）である 
:qはpであるための '''必要条件''' （ひつよう じょうけん）である
という。 

2つの条件 p.q について、

命題「p⇒q」と命題「q⇒p」の両方とも真であるとき、これを
:<math>\rm p \Longleftrightarrow q</math>
と書き、
:pはqであるための'''必要十分条件'''である
という。


このとき、pとqを入れ替えることで、
:qはpであるための必要十分条件である
ともいえることがわかる。

<math>\rm p \Longleftrightarrow q</math> であるとき、pとqは「'''同値'''（どうち）である」という。

==== 「かつ」「または」と否定 ====
[[File:Logic intersection P and Q.svg|thumb|「pかつq」に対応する<br> P∩Q]]
[[File:Logic union P or Q.svg|thumb|「pまたはq」に対応する<br> P∪Q]]

条件 p,q を満たすものの集合をそれぞれ P,Q とする。

このとき、条件「pかつq」および「pまたはq」をあらわす図は、それぞれ右図のようになる。

:※ 数学における「または」の使い方では、「pまたはq」は、条件pと条件qの少なくともどちらか一方でも成り立っていればいい。

条件pに対し「pでない」の形の条件を pの '''否定''' （ひてい、英：negation）といい、記号は <math>\overline{p}</math>で表す。

（※ 高校では習わないが、否定の意味として、 <math>\lnot{p}</math>という記号「¬」もある。）


条件を考えることは集合を考えることと同じなので、集合におけるド・モルガンの法則と同様に、条件においても、ド・モルガンの法則がなり立つ。

 '''ド・モルガンの法則'''
 
 <span style="text-decoration: overline">p かつ q</span> <math> \Longleftrightarrow </math>  <span style="text-decoration: overline"> p </span> または <span style="text-decoration: overline"> q </span>
 
 <span style="text-decoration: overline">p または q</span>  <math> \Longleftrightarrow </math>  <span style="text-decoration: overline"> p </span> かつ <span style="text-decoration: overline"> q </span>


==== 逆・裏・対偶 ====
[[File:Contraposition etc japanese.svg|thumb|400px]]

命題「 <math>\rm p \Longrightarrow q</math> 」に対して
:命題「<math>\rm q \Longrightarrow p</math>」を 命題「 <math>\rm p \Longrightarrow q</math> 」の '''逆''' （ぎゃく、英：converse）
:命題「<math>\rm \overline{p} \Longrightarrow \overline{q}</math>」を 命題「 <math>\rm p \Longrightarrow q</math> 」の '''裏''' （うら、英：inverse）
:命題「<math>\rm \overline{q} \Longrightarrow \overline{p}</math>」を 命題「 <math>\rm p \Longrightarrow q</math> 」の '''対偶''' （たいぐう、英：contraposition）
と呼ぶ。

これらは、たがいに右図のような関係にある。
{{-}}
----

たとえば、
もとの命題を
:「<math>x=3 \Longrightarrow x^2=9 </math>」
だとすると、

:裏は「<math>x\ne 3 \Longrightarrow x^2 \ne 9 </math>」 であり
:逆は「<math>x^2=9 \Longrightarrow x=3 </math>」 であり
:対偶は「<math>x^2 \ne 9 \Longrightarrow x\ne 3 </math>」である。

この命題の場合、もとの命題と対偶は、ともに真である。

いっぽう逆については x ＝ -3 という反例があるので、この命題の場合、逆は正しくない。また、裏も同様に、正しくない。

このような例から、次のことが分かる。
 ある命題が真であっても、その命題の逆は、かならずしも真とは限らない。
 また、ある命題が真であっても、その命題の裏は、かならずしも真とは限らない。


では、もとの命題と対偶との関係は、どうなるだろうか。
[[File:Sets contraposition diagram.svg|thumb|]]

この考察をするため、条件pを満たすものを集合Pに対応させ、同様に条件qを満たすものを集合Qに対応させてみよう。

右の集合の図は、p⇒qが真であることを表す図である。この図では、Pに属している要素は、Qにも属している。（つまり <math>\rm P \subset  Q</math>である。）一方、Qに属していいない要素は、Pにも属していない。（つまり <math>\rm \overline{Q} \subset  \overline{P}</math> である。）
このことからから分かるように、

 ある命題が真であるとき、その命題の対偶も真となる。
 ある命題が偽であるとき、その対偶も偽である。

つまり、一般の命題において、もとの命題と対偶との真偽は一致する。

==== 背理法 ====
ある命題の結論を否定して、その否定のもとで矛盾が起こることを述べることで、
その命題が真であることを導出する仕方を'''背理法'''（はいりほう、英: proof by contradiction など）と呼ぶ。

たとえば、「Aではないことを証明せよ」という問題を解く時は「Aであると仮定する」と書き出して、仮定したことと矛盾する部分を作って「矛盾するのでAではない。」と証明を終える。

* 例題
素数は無限に存在する。
* 証明
素数が有限個であったと仮定する。すべての素数の積を<math>a</math>とすると、<math>a+1</math>はどの素数で割っても1余ることになり、1以外の自然数であって、素数の積に分解できないものが存在することになる。<math>a+1</math>の約数のうち1以外で最も小さいものを<math>b</math>とすると、<math>b</math>は1と<math>b</math>以外の約数を持たない。したがって<math>b</math>が素数であることになるが、<math>a+1</math>がどの素数でも割り切れないことと矛盾する。したがって、素数は有限個ではない。■

{{コラム|背理法と日常的な思考|
背理法は多くの高校生が苦手としています。「Aである」ことを証明するために、わざわざ「Aでない」と仮定して矛盾を導くという論理の展開が不自然に感じられ、それが苦手意識につながっているようです。しかし、背理法の発想は私たちの日常的な思考でもよく使われています。ここでは、その例をいくつか紹介しましょう。

一つ目はアリバイ証明です。もしあなたが事件の犯人であると疑われたとします。そのとき、「自分が犯人ではない」ということをどのように証明しますか。ただ「自分は犯人ではない」と言うだけでは説得力がありません。この場合、犯行現場がA駅であったが、「自分は事件が起きたときにはB駅にいた」ことを証明できる、つまりアリバイが成り立つならば自分が犯人ではないという有力な証拠となります。この仕組みを簡単な文にすると以下のようになります。

:私が犯人だと仮定すると、A駅にいたことになる。
:しかし私はB駅にいた（＝A駅にいなかった）。
:私が同じ時間にA駅とB駅の両方にいることはできないので、当初の仮定と矛盾する。
:ゆえに私が犯人だという仮定がまちがっていたので、私は犯人ではない。

アリバイを示すことで自分の無実を証明するというのは、実はこういう仕組みになっているのです。なお、アリバイを示して無実を証明する方法には、やはり高校生の多くが苦手とする対偶証明法を使う方法もあります。そちらはみなさんで考えてみてください。

二つ目は消去法での選択肢の選び方です。たとえば、平成30年度「倫理」のセンター試験の大問1問7（マークシート番号7）の問題を見てみましょう。（バグと思わしき現象が起きたためリンクは貼りません。お手数ですが、各自確認して下さい。）　この正解を導き出すのに背理法の文章を利用してみましょう。

:1が正解だと仮定すると、1の選択肢はグラフを正しく説明している。
:しかし、2015年のトップ3（日伊独）と2050年のトップ3（日伊韓）は異なるので、正しい説明になっておらず、仮定と矛盾する。
:ゆえに1を正解とした仮定は誤っていた。
:だから、1の選択肢は正しくないので消す。

これを繰り返すと、誤った選択肢を消去して正解を導くことができますね（「倫理」の知識は全くいらないので、皆さんも挑戦してみてください）。

もちろん、アリバイ証明にしても消去法にしても、いつもこうした操作で解いているわけではありません。むしろ、背理法のことは意識しないで解くのが当たり前でしょう。実は背理法の考え方は本来、何気なく実行できるくらい自然な発想なのです。ほかにも、皆さんの日常的な考え方の中に背理法の形にそうものがあるはずです。逆に一見正しい背理法に見えても、実はインチキな論理展開のものもあるでしょう。そうしたことを探していくのも論理的に考えるためのトレーニングになります。ぜひ、挑戦してみてください。

【参考文献】
*『論理的に考えること』（山下正男著, 岩波書店（岩波ジュニア新書））
*『論理的に考え、書く力』（吉沢光雄著, 光文社（光文社新書））
}}

== 脚注 ==
<references/>
[[category:高等学校数学A|しゆうこうとろんり]]