[logo] Web連載「数学ガールの秘密ノート」
Share

第173回 シーズン18 エピソード3
すべての人が好きなもの(前編)

登場人物紹介

:数学が好きな高校生。

ユーリのいとこの中学生。 のことを《お兄ちゃん》と呼ぶ。 論理的な話は好きだが飽きっぽい。

$ \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\LAND}{\mathrel{\land}} \newcommand{\LOR}{\mathrel{\lor}} \newcommand{\LNOT}{\lnot} \newcommand{\BITAND}{\mathrel{\&}} \newcommand{\BITOR}{\mathrel{|}} \newcommand{\RELATED}{\dashleftarrow\dashrightarrow} \newcommand{\REAL}{{\mathbb R}} \newcommand{\MINILOGL}{\bigl[\,} \newcommand{\MINILOGR}{\,\bigr]} \newcommand{\LOGL}{\Bigl[\,} \newcommand{\LOGR}{\,\Bigr]} \newcommand{\LOGDOTL}{\Bigl.} \newcommand{\LOGDOTR}{\Bigr.} \newcommand{\BIGLOGL}{\bigg[\,} \newcommand{\BIGLOGR}{\,\bigg]} \newcommand{\BIGBIGLOGL}{\Bigg[\,} \newcommand{\BIGBIGLOGR}{\,\Bigg]} $

対偶

ユーリは論理についてのおしゃべりをしている(第172回参照)。

ユーリ「ねーお兄ちゃん。対偶って、数学でよく使うの?」

「そうだね。何かを証明しようとして、直接証明するのが難しいとき、 対偶を証明してしまえばいいから、よく使うよ。 《命題の言い換え》をするのに対偶はよく使う」

ユーリ「めーだいのいいかえ」

「うん。《$P$ ならば $Q$》という形のものを証明する代わりに、 《$Q$ でないならば $P$ でない》という対偶の方を証明するってことだね」

対偶

命題 $P \to Q$ の対偶は、命題 $(\LNOT P) \gets (\LNOT Q)$ である。

命題 $P \gets Q$ の対偶は、命題 $(\LNOT P) \to (\LNOT Q)$ である。

ユーリ「$P \to Q$ の代わりに $(\LNOT P) \gets (\LNOT Q)$ を証明……ってややこしーじゃん」

「そうだね。《$P$ でないならば $Q$ でない》という命題を証明する代わりに、 《$Q$ ならば $P$》を証明する。これなら簡単になっているよね」

ユーリ「そっか……それは、 $\LNOT(\LNOT P) \equiv P$ だから?」

「そうそう」

$$ \begin{align*} \REMTEXT{《$P$でないならば$Q$でない》} & \equiv (\LNOT P) \to (\LNOT Q) && \REMTEXT{《ならば》の定義から} \\ & \equiv (\LNOT(\LNOT P)) \LOR (\LNOT Q) && \REMTEXT{$\to$ の定義から} \\ & \equiv P \LOR (\LNOT Q) && \REMTEXT{$\LNOT(\LNOT P) \equiv P$だから} \\ & \equiv (\LNOT Q) \LOR P && \REMTEXT{$\LOR$ の交換法則から} \\ & \equiv Q \to P && \REMTEXT{$\to$ の定義から} \\ & \equiv \REMTEXT{《$Q$ならば$P$》} && \REMTEXT{《ならば》 の定義から} \\ \end{align*} $$

「たとえば、具体的な話をしようか。 数学ではよくこういうのが出てくるよね。 《実数 $x$ が $1$ より大きくないならば、実数 $x$ は $3$ より大きくない》は正しい?」

ユーリ「えーと? 正しい……?」

「正しいね。もちろん直接考えてもいいけれど、 対偶を考えるとすっきりわかる。 だって《実数 $x$ が $3$ より大きいならば、実数 $x$ は $1$ より大きい》を考えればいいから」 $3$ より大きいなら、 $1$ より大きいというのはすぐわかる」

ユーリ「ふんふん……ん? ダウト!」

「なぜダウト?」

ユーリ「ねえ、お兄ちゃん。《実数 $x$ が $3$ より大きい》っていうのは、命題なの?」

「ああ、そうかそうか。ユーリは賢いなあ!」

ユーリ「照れるじゃん。そんなことあるけどさ」

「否定しないんだ」

ユーリ「命題っていうのは、真か偽か決まるものでしょ? 《実数 $x$ が $3$ より大きい》って、 真か偽か決まらないから命題じゃないんじゃない?  $x$ が $100$ なら $3$ より大きくて真だけど、 $x$ がマイナス $100$ 億だったら $3$ より大きくはないから偽」

「マイナス $100$ 億って……ダイナミックだなあ。でも、ユーリは完全に正しいよ。 《実数 $x$ が $3$ より大きい》というのは命題じゃないね。 うん。こういうのは述語っていうんだ」

ユーリ「じゅつご」

「うん。《実数 $x$ が $3$ より大きい》には、 $x$ という変数が出てきている。 これが実数の何かだということはわかるけれど、具体的な値は決まっていない。 具体的な値を決めさえすれば、命題と同じように真偽が決まるよね」

ユーリ「マイナス $100$ 億」

「そうそう、そういう具合にね。そのように、 $x$ に具体的な値を代入したとすれば、 《実数 $x$ が $3$ より大きい》という述語は《実数 $-100$ 億は $3$ より大きい》という命題になる。 この場合は偽の命題になるけれど」

ユーリ「はー。何だか当たり前のことをくどくど言ってるみたいだけど、わかった」

「命題を使ったものは命題論理という。それに対して、 こういう述語が出てくるものは述語論理というんだよ。 命題論理と述語論理、両方で共通な考え方もあるけれど、違う考え方もあるよね」

ユーリ「共通な考え方もあるけど、違う考え方もあるって、何も言ってないのでは」

「突っ込むなよ。いや、突っ込んでいいんだけどね。 真と偽とか、逆や対偶とかは両方で共通だけど、述語論理には《すべて》や《ある》が出てくるよね」

ユーリ「《よね》と言われましても」

「述語論理には《すべて》や《ある》が出てくるんだよ……まあ、それにしても《実数 $x$ が $3$ より大きい》が命題じゃないってよく気付いたね」

ユーリ「ふふん。お兄ちゃんの秘密兵器を使ったのであるよ」

「秘密兵器?」

ユーリ「お兄ちゃんがよくいう《定義にかえれ》のこと。 命題は真と偽が定まるものなんだから、あれ?って思ったらそれに当てはめて考えるんでしょ?」

「なるほどね。《定義にかえれ》は《ポリヤの問いかけ》の一つだね。 もっとも《定義にかえれ》っていうのは問題で行き詰まったときの脱出方法だけど……でも、 ユーリが定義に照らし合わせたのはそもそもすごいよ」

ユーリ「ふふ」

概念と表現

「命題論理だと、 $P$ や $\LNOT P$ や $P \to Q$ という形の命題を扱うけど、 それだと $x > 3$ のようなものを扱うことができない」

ユーリ「$x > 3$ は命題じゃないから」

「そういうこと。でも、 $x > 3$ が表せないなんて不便でしょうがない。 述語論理を使えばもっといろんな概念を式で表すことができる」

ユーリ「がいねん?」

「概念っていうのは、うーん、何ていえばいいかな。考えていることや、伝えたいもののこと。 別に数学の用語じゃないけどね。 概念は概念のままだときちんと考えられなかったり、 伝えられなかったりする。脳から脳へ概念を伝えるわけにいかないから。 だから概念をどう表現するかに注意しなくちゃいけない」

ユーリ「ひょーげん」

「文字や図や数式で表したもののことだね」

ユーリ「あっ! お兄ちゃんが好きなやつだ」

「そう?」

ユーリ「お兄ちゃん、すぐ数式書きたがるじゃん? それって表現したがりってこと」

「そ、そうだね。確かにそうかも!」

ユーリ「自覚なかったんかい」

述語論理

「さっきの話に戻るけど、 《実数 $x$ が $1$ より大きくないならば、実数 $x$ は $3$ より大きくない》というのは述語論理を使って表す話になるんだね。 少し分解すると、こうなる」

$$ \REMTEXT{《実数$x$は$1$より大きくない》} \to \REMTEXT{《実数$x$は$3$より大きくない》} $$

ユーリ「これは《ならば》を $\to$ にしたってこと?」

「そうだね。長い文章はまちがえやすいし、考えを進めることが難しい。 だから、より短いものに分解して、それらを組み合わせて何かを表現していることになる」

ユーリ「表現」

「算数でも数学でも文章題ってあるよね」

ユーリ「『たかしくんが $100$ 円を持ってジュースを買いに行きました』」

「そうそう、それそれ。文章題を解くのも同じで、長い文章の中から、考えを進める上で大事なものを抜き出して、 数式で表して計算をするよね」

ユーリ「まーね。そんなこと考えたことなかったけど」

「たとえばさっきの、 $$ \REMTEXT{《実数$x$は$1$より大きくない》} \to \REMTEXT{《実数$x$は$3$より大きくない》} $$ だけど、ここまで言い換えると、機械的にこんなふうに書き直せる。対偶だね」

$$ (\LNOT \REMTEXT{《実数$x$は$3$より大きくない》}) \to (\LNOT \REMTEXT{《実数$x$は$1$より大きくない》}) $$

ユーリ「ふんふん。それ、さっきやったことだね。 次は、 $(\LNOT \REMTEXT{《ナントカじゃない》})$を$\REMTEXT{《ナントカである》}$にするんでしょ? 否定の$\LNOT$をひっくり返すの」

$$ \REMTEXT{《実数$x$は$3$より大きい》} \to \REMTEXT{《実数$x$は$1$より大きい》} $$

「そうそう。それで、 $x > 3$ ならば $x > 1$ が正しいということがわかりやすい。便利だろう?」

ユーリ「……」

「?」

ユーリが急に口を閉じて真剣な顔になった。軽口も出てこない。 きっと、何か大事なことを考えているんだ。

ユーリ「……ねー、お兄ちゃん」

「なに?」

ユーリ「ユーリ、馬鹿かも」

「何をいうやら。ユーリは馬鹿じゃないよ。どうしてそんなことを言うんだろう」

ユーリ「あのね、ユーリね、 $x > 3$ ならば $x > 1$ は正しいって思うの。正しいってことは真だってことでしょ? それなのにね、 《$x > 3$ ならば $x > 1$》ってゆーのが、どーしても、命題には見えないの! だって変数 $x$ があるから、これって述語でしょ?」

ユーリの疑問

《$x > 3$ ならば $x > 1$》は真だと決まるから命題のように見えるけれど、変数 $x$ があるため述語のように見える。 これはどう考えればいいの?

無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。

ひと月500円で「読み放題プラン」へご参加いただきますと、 434本すべての記事が読み放題になりますので、 ぜひ、ご参加ください。


参加済みの方/すぐに参加したい方はこちら

結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加

(2016年10月21日)

[icon]

結城浩(ゆうき・ひろし) @hyuki


『数学ガール』作者。 結城メルマガWeb連載を毎週書いてます。 文章書きとプログラミングが好きなクリスチャン。2014年日本数学会出版賞受賞。

Twitter note 結城メルマガ Mastodon Bluesky Threads Home