1公理と定理と証明
数学では、大まかには、正しいとするいくつかの前提から出発して、正しいと言えるものを論理的に導出していきます。 これらのあらかじめ決めておいた正しい前提のことを「公理」といいます。
そして公理の他にもいくつかのルールが定義され、数学では公理とこれらのルールを使って次々と正しいことを導出していきます(図1-1)。
![公理と定理と証明](/images/mathematics/basic1/821535501337_ja_20231118.png)
新しく導出された正しいことを、公理と合わせて「定理」と呼び、定理を導出する過程のことを「証明」といいます。
別の見方をすると、数学の問題を解くこととは、今までに導出された定理を使って、いかにその問題の答えが定理になるかという証明を見つける作業になります。
2命題と論理式
さて、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である」「![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
である」のような、定理であるかどうかを判断しうる対象のことを「命題」といいます。
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
命題の扱い方にはいくつかの方法がありますが、ここでは解りやすく論理式の「真」と「偽」を使って、「定理は『真』、定理でないものは『偽』」と考えることにします。 例えば、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である」という命題が定理であれば、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である」は「真」となります。 「![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
である」という命題が定理にならなければ、「![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
である」は「偽」です。
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
補足
「論理式」とは、真と偽を扱った式のことです。 今回は、命題が定理かどうかを表すのに論理式の真偽を使うことにしましたが、命題が定理かどうかを他の方法で表すこともできます。 その一つに、トートロジーという、常に真になる命題を定理とする考えがありますが、ここでは詳しくは触れません。
このとき、命題たちを「
」「
」などの文字で表すことにします。 すると、「
ならば
」や「
かつ
」のように、これらを組み合わせて新しい命題を作ることができます。
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
例えば、
が「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である」という命題で、
が「![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
である」という命題であれば、「
または
」とすることで、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である、または、![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
である」という命題が作れます(図2-1)。
![](/s/p.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/q.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/p.png)
![](/s/q.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![命題](/images/mathematics/basic1/175852082526_ja_20231118.png)
通常、「または」は「
」の記号、「かつ」は「
」の記号で表し、「![](/s/p.png)
![](/s/or.png)
」「![](/s/p.png)
![](/s/and.png)
」のように書きます。 つまり、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
または![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
」という命題は、「![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
」と書けます。
![](/s/or.png)
![](/s/and.png)
![](/s/p.png)
![](/s/or.png)
![](/s/q.png)
![](/s/p.png)
![](/s/and.png)
![](/s/q.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/pr.png)
ところで、「
または
」とは、
か
のどちらかが真なら真という意味です。 よって「![](/s/p.png)
![](/s/or.png)
」の結果を表にすると、表2-1のようになります。
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/or.png)
![](/s/q.png)
![]() |
![]() |
![]() ![]() ![]() |
---|---|---|
偽 | 偽 | 偽 |
偽 | 真 | 真 |
真 | 偽 | 真 |
真 | 真 | 真 |
一方、「
かつ
」とは、
と
の両方とも真なら真という意味です。 よって「![](/s/p.png)
![](/s/and.png)
」の結果を表にすると、表2-2のようになります。
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/and.png)
![](/s/q.png)
![]() |
![]() |
![]() ![]() ![]() |
---|---|---|
偽 | 偽 | 偽 |
偽 | 真 | 偽 |
真 | 偽 | 偽 |
真 | 真 | 真 |
例えば「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
」が真つまり定理であり、「![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
」が偽つまり定理でないとしましょう。 このとき、「![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
」は「真または偽」で真となり、つまり定理となります。 そして「![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
」は「真かつ偽」で偽となり、つまり定理ではありません。
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/2.png)
![](/s/add.png)
![](/s/2.png)
![](/s/eq.png)
![](/s/5.png)
![](/s/pr.png)
3論理式の性質
ここからは、定理を証明するときに必要となる、論理式のいろいろな性質について説明します。
3.1否定と排中律と矛盾
「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
である」という命題に対し、「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
ではない」という否定の命題を表すときには、「
」の記号を使います。 命題
に対し「
ではない」ことを「![](/s/not.png)
」と書き、そのときの結果は表3-1のようになります。
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/not.png)
![](/s/p.png)
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
![]() |
![]() ![]() |
---|---|
偽 | 真 |
真 | 偽 |
この表から、どんな命題
であっても「
」か「![](/s/not.png)
」のどちらか一方は真、つまり定理になることが解ります。 つまり「
」も「![](/s/not.png)
」も定理でないような命題はありません。 この「
も![](/s/not.png)
も定理にならないような命題は存在しない」という法則を「排中律」といいます。
![](/s/p.png)
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
また一方で、「
も![](/s/not.png)
も定理である」ことを「矛盾」と言います。 この表から、矛盾を引き起こす命題は存在しないことも解ります。
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
排中律と矛盾を組み合わせると、「
が定理であるとすると矛盾する、よって![](/s/not.png)
が定理である」のように、わざと矛盾を引き起こすことでその否定を証明することもできます。
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
3.2論理包含
論理式のその他の記号として、「
ならば
」を意味する「![](/s/p.png)
![](/s/right.png)
」があります。 これは、「
が成立するとき、
が成立する」という命題になります(図3-1)。
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![論理包含](/images/mathematics/basic1/144433067847_ja_20231118.png)
「![](/s/p.png)
![](/s/right.png)
」という命題が定理であることは、「
が真」のときには常に「
も真」になることを意味します。 ただし、「
が偽」の場合については何も言っていないため、
が偽のときの
はどうなっていても構いません。
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/p.png)
![](/s/q.png)
つまり「![](/s/p.png)
![](/s/right.png)
」の
が偽の場合、
が真でも偽でも「![](/s/p.png)
![](/s/right.png)
」は真になります。 表にすると、表3-2のようになります。
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![]() |
![]() |
![]() ![]() ![]() |
---|---|---|
偽 | 偽 | 真 |
偽 | 真 | 真 |
真 | 偽 | 偽 |
真 | 真 | 真 |
例えば、「![](/s/n.png)
![](/s/eq.png)
、ならば、
は奇数である」という定理があったとき、
が
でない場合については何も言っていないので、
が
でない場合は
が偶数でも奇数でもどうであってもこの定理が覆ることはありません。 よって、「偽、ならば、…」のときは命題は常に真になるべきだと理解できます。
![](/s/n.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/n.png)
![](/s/n.png)
![](/s/1.png)
![](/s/n.png)
![](/s/1.png)
![](/s/n.png)
3.3同値な命題
さて、命題![](/s/p.png)
![](/s/comma.png)
の真偽が常に一致するとき、
と
は「同値」といい、「![](/s/p.png)
![](/s/eq.png)
」と書きます。
![](/s/p.png)
![](/s/comma.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/eq.png)
![](/s/q.png)
もし
が定理のとき
が定理になり、そして
が定理のとき
が定理になるなら、それは
と
は真偽が一致していると言えるため、
と
は同値です。 つまり論理式で書くと、「![](/s/pl.png)
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/q.png)
![](/s/right.png)
![](/s/p.png)
」のとき、
と
は同値です。 このため、「![](/s/p.png)
![](/s/eq.png)
」は「![](/s/p.png)
![](/s/leftright.png)
」という記号で書かれることもあります。
![](/s/p.png)
![](/s/q.png)
![](/s/q.png)
![](/s/p.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/pl.png)
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/q.png)
![](/s/right.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/eq.png)
![](/s/q.png)
![](/s/p.png)
![](/s/leftright.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/p.png)
![](/s/eq.png)
![](/s/q.png)
![]() |
![]() |
![]() ![]() ![]() |
---|---|---|
偽 | 偽 | 真 |
偽 | 真 | 偽 |
真 | 偽 | 偽 |
真 | 真 | 真 |
3.4逆と裏と対偶
「![](/s/p.png)
![](/s/right.png)
」という形の命題があったとき、
と
を反対にした「![](/s/q.png)
![](/s/right.png)
」を「逆」の命題といいます。 また、
と
に否定を付けた「![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/right.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
」を「裏」といい、逆と裏の両方になった「![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/right.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
」を「対偶」といいます(図3-2)。
![](/s/p.png)
![](/s/right.png)
![](/s/q.png)
![](/s/p.png)
![](/s/q.png)
![](/s/q.png)
![](/s/right.png)
![](/s/p.png)
![](/s/p.png)
![](/s/q.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/right.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/right.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![逆と裏と対偶](/images/mathematics/basic1/322027500831_ja_20231118.png)
このうち特に対偶が重要で、対偶は元の命題と同値となります。 例えば「![](/s/n.png)
![](/s/eq.png)
、ならば、
は奇数である」という命題に対し、対偶は「
は奇数でない、ならば、![](/s/n.png)
![](/s/eq.png)
でない」ですが、この2つの命題は同値となります。
![](/s/n.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/n.png)
![](/s/n.png)
![](/s/n.png)
![](/s/eq.png)
![](/s/1.png)
つまり命題を証明したいとき、元の命題を証明せずに対偶のほうの命題を証明することで、元の命題の証明ができます。
3.5ド・モルガンの法則
また重要な法則として、「ド・モルガンの法則」があります。
ド・モルガンの法則とは、「![](/s/not.png)
![](/s/pl.png)
![](/s/p.png)
![](/s/and.png)
![](/s/q.png)
」と「![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
」が同値になり、「![](/s/not.png)
![](/s/pl.png)
![](/s/p.png)
![](/s/or.png)
![](/s/q.png)
」と「![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
」が同値になるという法則です。 かみ砕くと、「![](/s/not.png)
![](/s/pl.png)
![](/s/dots.png)
」の括弧を外したときに、中身の「
」と「
」が入れ替わり、「
」が分配されるという法則です。
![](/s/not.png)
![](/s/pl.png)
![](/s/p.png)
![](/s/and.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/or.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/not.png)
![](/s/pl.png)
![](/s/p.png)
![](/s/or.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/p.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/pl.png)
![](/s/not.png)
![](/s/q.png)
![](/s/pr.png)
![](/s/not.png)
![](/s/pl.png)
![](/s/dots.png)
![](/s/pr.png)
![](/s/and.png)
![](/s/or.png)
![](/s/not.png)
例えば、「『
は偶数かつ
は![](/s/1.png)
以上』でない」という命題は、「
は偶数でないか、
は![](/s/1.png)
以上でない」ということと同じになります。 また、「『
は偶数または
は![](/s/1.png)
以上』でない」ということは「
は偶数でなく、
は![](/s/1.png)
以上でもない」ということと同じになります。
![](/s/n.png)
![](/s/n.png)
![](/s/1.png)
![](/s/0.png)
![](/s/n.png)
![](/s/n.png)
![](/s/1.png)
![](/s/0.png)
![](/s/n.png)
![](/s/n.png)
![](/s/1.png)
![](/s/0.png)
![](/s/n.png)
![](/s/n.png)
![](/s/1.png)
![](/s/0.png)
複雑な命題を変形して整理したいときに役立ちます。
4命題関数
より多彩な定理や命題を扱うために、もう少し論理式について踏み込んでいきましょう。
外から値を受け取ると命題になるものを「命題関数」といいます。 例えば「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
である」という記述に対し、
に
、
に
を代入すると「![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
である」という命題になりますので、「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
である」は命題関数です(図4-1)。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/1.png)
![](/s/b.png)
![](/s/3.png)
![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
![](/s/2.png)
![命題関数](/images/mathematics/basic1/611426284348_ja_20231118.png)
命題関数には「
」「
」などの具体的な値の他に、「すべての値」や「ある値」というものを入れることができます。 これらは「
」「
」などの文字の前に「
」「
」の記号を付けることで、それぞれ「すべての値」「ある値」を表します。
![](/s/1.png)
![](/s/3.png)
![](/s/x.png)
![](/s/y.png)
![](/s/forall.png)
![](/s/exists.png)
例えば、「![](/s/a.png)
![](/s/eq.png)
である」という命題関数に、![](/s/forall.png)
で囲んで
に
を代入して「![](/s/forall.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/eq.png)
である
」のように書くと、「すべての値
に対して![](/s/x.png)
![](/s/eq.png)
である」という命題を表します。 同様に、![](/s/exists.png)
で囲んで
に
を代入して「![](/s/exists.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/eq.png)
である
」のように書くと、「![](/s/y.png)
![](/s/eq.png)
であるようなある値
が存在する」という命題になります。
![](/s/a.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/forall.png)
![](/s/x.png)
![](/s/a.png)
![](/s/x.png)
![](/s/forall.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/x.png)
![](/s/x.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/exists.png)
![](/s/y.png)
![](/s/a.png)
![](/s/y.png)
![](/s/exists.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/pr.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/1.png)
![](/s/y.png)
具体例として、「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
」という命題関数があり、
と
に
を入れた命題「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
」は真で、
に
を
に
を入れた命題「![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
」は偽であるとしましょう(図4-2)。
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/b.png)
![](/s/1.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/1.png)
![](/s/b.png)
![](/s/3.png)
![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
![](/s/2.png)
![命題関数の例](/images/mathematics/basic1/611426284348_2_ja_20231118.png)
このとき「![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
」があるため、すべての
と
に対して「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
」が真になるわけではありません。 よって「![](/s/forall.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/forall.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
」は偽となります。 また「![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
」があるため、「![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
」が真になるような
と
は少なくとも存在しています。 よって「![](/s/exists.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/exists.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
」は真となります。
![](/s/1.png)
![](/s/add.png)
![](/s/3.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/b.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/forall.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/forall.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/pr.png)
![](/s/1.png)
![](/s/add.png)
![](/s/1.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/add.png)
![](/s/b.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/a.png)
![](/s/b.png)
![](/s/exists.png)
![](/s/x.png)
![](/s/pl.png)
![](/s/exists.png)
![](/s/y.png)
![](/s/pl.png)
![](/s/x.png)
![](/s/add.png)
![](/s/y.png)
![](/s/eq.png)
![](/s/2.png)
![](/s/pr.png)
![](/s/pr.png)
5直観主義論理
最後に、「直観主義論理」と呼ばれる、これまでとは異なる考え方を簡単に紹介しておきます。
これまでは、命題
と![](/s/not.png)
があったときに少なくとも一方は定理であるとする「排中律」を前提としていましたが、直観主義論理ではこの排中律を否定します。 つまり、「あなたは数学が好きかどうかは判らないが、あなたは数学が好きか好きでないかのどちらかだ」とこれまでの論理では言えましたが、直観主義論理ではこれすらも懐疑し、「あなたは数学が好きか好きでないかのどちらかである、かどうかも判らない」となります。 証明できるかどうか判らないという可能性を考慮しています。
![](/s/p.png)
![](/s/not.png)
![](/s/p.png)
排中律を前提にしないと、多くの定理が証明できなくなってしまうため、数学の多くの分野では直観主義論理は主流ではありませんが、論理自体を対象とする分野や計算機科学などでは直観主義論理との親和性が高くよく使われます。
今回は、数学の基本的なルールを説明しました。 次回は実際に、具体的な公理から定理を証明してみましょう!