否定
を命題とすると、
の否定は
と書きます。
否定を 2 回行うと元の命題と一致します。すなわち、
が成り立ちます。
命題 「自然数
は偶数である」の否定は、命題
「自然数
は偶数でない」となり、この場合はすなわち命題
「自然数
は奇数である」となります。
もう一度否定してみましょう。命題 「自然数
は奇数でない」となり、命題
「自然数
は偶数である」と一致します。
命題 「
」の否定は、命題
「
」です。
は明らかでしょう。
このように単純な例だと命題の否定を記述するのはそんなに難しくないですが、複雑な命題になってくると、命題の否定を正しく記述できない方が出て来ます。
複雑な命題に対する否定の作り方については、一通り論理記号を紹介してから、また別の記事(論理記号.6 否定の作り方)で改めて取り扱いたいと思います。
かつ
命題 に対して、
かつ
を
と書きます。
命題 「自然数
は
の倍数である」、命題
「自然数
は
の倍数である」とすると、命題
「自然数
は
の倍数であり、かつ
の倍数である」となります。
ここで、 と
は互いに素ですので、すなわち命題
「自然数
は
の倍数である」となります。
命題 「実数値関数
は連続である」、命題
「実数値関数
は微分可能である」とすると、命題
「実数値関数
は連続であり、かつ微分可能である」となります。
実は微分可能な関数は連続なので、命題 は命題
と同値になります。
または
命題 に対して、
または
を
と書きます。
ここで注意ですが、数学においては または
というとき、
と
が同時に成立することも許容されます。日常生活では片方しか成立しないというニュアンスで使われることもありますが、数学では同時に成立することも認めますので気を付けておきましょう。
命題 「自然数
は偶数である」、命題
「自然数
は奇数である」とすると、命題
「自然数
は偶数であるかまたは奇数である」となります。
ここで、すべての自然数は偶数か奇数のどちらかですので、すなわち命題 「
は任意の自然数である」となります。
命題 「実数値関数
は連続である」、命題
「実数値関数
は微分可能である」とすると、命題
「実数値関数
は連続であるか、または微分可能である」となります。
実は微分可能な関数は連続なので、命題 は命題
と同値になります。
~ならば
命題 に対して、
ならば
を
と書きます。
数学の定理などは、一般にある条件 を仮定して
を証明するものが多いです。ですので、
が主張されているときには、それが真なのか偽なのかに注意を払う必要があります。
命題 があるとき、
命題 を命題
の逆
命題 を命題
の裏
命題 を命題
の対偶
と言います。
命題 「自然数
は
の倍数である」、命題
「自然数
は
の倍数である」とすると、命題
「自然数
が
の倍数であるならば、
の倍数である」となります。確かに
の倍数は
の倍数でもありますので、この命題は真となります。
逆を考えてみましょう。
命題 「自然数
が
の倍数であるならば、
の倍数である」となります。
この命題は偽です。命題が偽であることを示すためには、反例を挙げればよいです。例えば、 は
の倍数ですが
の倍数ではありません。「逆は必ずしも真ならず」ということです。
裏を考えてみましょう。
「自然数
が
の倍数でないならば、
の倍数でない」となります。
この命題は偽です。反例を挙げてみましょう。例えば、 は
の倍数ではないですが、
の倍数です。
対偶を考えてみましょう。
「自然数
が
の倍数でないならば、
の倍数でない」となります。
この命題は真です。 の倍数でないということは奇数なので、確かに
の倍数にはなり得ません。
上のEx.SetTop.1.2.5.で、命題 とその対偶
の真偽が一致しましたが、これは偶然ではありません。
一般に、次が成り立ちます。
命題 とその対偶
の真偽は常に一致する。
ちなみに、逆の対偶は裏になりますので、逆と裏の真偽も常に一致します。
さて、ここで注意がありますので述べておきます。命題 の真偽を判定するとき、もし
が真でないとしたらどうなるでしょうか?
が真であるというのは、「もし
が真だとしたら
が成り立つ」ということです。
が真でないときのことについては何も言っていません。何も言っていないわけですから、常に正しいと考えます。
すなわち、 が真でないときは、
の真偽によらず、
は真であると考えます。このことに注意して下さい。
整理しましょう。
命題 が真であるということは、「命題
が真であり、かつ命題
が真である」または「命題
が真でない」ということです。
すぐ後で同値記号について説明しますが、それを使って上の事実を論理式で書くと次のようになります。
さらに論理演算(後の記事です)を用いると、
したがって、次の関係が成り立ちます。
言葉で言い表すと、「 ならば
である」ということは、「
でないまたは
である」ということです。
この関係を覚えておくと、 の否定を考えるときに混乱しないで済みます。
よくある間違いとして、 の否定を
とか
とか
とか考えてしまう人がいます。これらはどれも正しくありません。
正しくは、 (
ならば
である)の否定は
(
であるが
でない)です。
どうしてそうなるのか、上の関係式を知っていると納得しやすいでしょう。( が成り立つことによります)
命題 「
」、命題
「
を満たす実数
は有理数である」とします。
命題 も命題
もそれぞれ偽です。しかし、命題
が偽であることから、命題
「
ならば、
を満たす実数
は有理数である」は真となります。
命題 「自然数
は
の倍数である」、命題
「自然数
は
の倍数である」とします。
命題 「自然数
が
の倍数であるならば、
の倍数である」の否定は、
「自然数
は
の倍数であり、かつ
の倍数でない」です。
同値記号
既に何度か断らずに同値という言葉とこの記号を使ってしまっていますが、ここできちんと説明しておきます。
と
が同時に成り立つとき、
と
は同値であると言い、
と表します。
が成り立つということは、「
が真であるとき、またそのときに限り
は真である」ということを意味します。
命題 「自然数
は
の倍数である」、 命題
「自然数
は
の倍数である」、命題
「自然数
は
の倍数である」とします。
の倍数かつ
の倍数であれば
の倍数ですし、またその逆も成り立ちます。したがって、命題
と命題
は同値です。これを論理式で書くと、
となります。
この記事へのコメントはありません。