TomoKです。
今回からは、数学を考えるために大事な考え方である「論理」の勉強をします。
その最初として、「命題」とか「条件」とは何か、ということを見ていきます。
次の3つの文を考えましょう。
① 100は10より大きい。
② 100は1000より大きい。
③ 100は大きい数である。
①,②,③のそれぞれの文が正しいか正しくないか、ということを考えます。
当然、100は10より大きく、1000より小さいので、
①は正しい文であり、②は正しくない文だといえます。
一方、③はどうかというと、
これは、う~~ん、正しいとも正しくないともつかないですねえ。
さっき言ったように、100は10より大きいし、100は1000より小さいです。
また、100が大きい数かどうかというのは人により判断が分かれると思います。
数学では、数学的に書かれた文が正しいかどうかを考えながら話を進めるため、
①や②のように、人によって判断が変わらず、正しいか正しくないかがはっきり決まるものを扱います。
このような、正しいか正しくないかがはっきりと判断できる文を、命題、と呼びます。
そして、ある命題が正しいとき、その命題は真であるといい、
そうでない(正しくない)とき、その命題は偽であるといいます。
上の3つの文では、
①は真の命題 ②は偽の命題で ③は命題ではない
ということになりますね。
練習問題
Q1. 次の文のうち、命題はどれか。また、真の命題, 偽の命題はそれぞれどれか。 [解答]
(1) 1+2=3である。
(2) \sqrt{10}=10である。
(3) 9は面白い性質をもった数である。
(4) 実数x,yについて、x>0かつy>0ならばxy>0である。
(5) 実数x,yについて、xy>0ならばx>0かつy>0である。
Q1. 次の文のうち、命題はどれか。また、真の命題, 偽の命題はそれぞれどれか。 [解答]
(1) 1+2=3である。
(2) \sqrt{10}=10である。
(3) 9は面白い性質をもった数である。
(4) 実数x,yについて、x>0かつy>0ならばxy>0である。
(5) 実数x,yについて、xy>0ならばx>0かつy>0である。
次は「条件」です。
実数x,yについて、式x+y=10は、「x+yが10に等しい」と解釈すれば確かに文になりますが、
これだけでは正しいかどうかの判定をすることができません。
しかし、x,yに具体的な値として、例えばx=3, y=7を代入すると、
この式は3+7=10となり、正しくなります。
一方、もし仮にx=4, y=7を代入すると、
この式は4+7=10となり、これは正しくありません。
このように、実数x,yについての式x+y=10は、
x,yに具体的にある実数の値を代入することで
初めて正しいかどうかが判定できるようになります。
そのような文のことを、実数x,yの条件といいます。
実数x,yの条件x+y=10では、x=3, y=7を代入すると、正しくなりました。
このとき、
「x=3, y=7は、(実数x,yの条件)x+y=10を満たす(成り立たせる、満足する)」
ということがあります。
条件を満たす値は1つとは限りませんし、逆に1つもないこともあります。
例えば、上の実数x,yの条件x+y=10を満たすx,yは無限に存在します。
一方、実数の2乗は必ず0か正の数になるので、
実数aの条件a^2<0を満たすaは存在しません。
さて、条件は、ふつう小文字のアルファベットp,q,r,\cdotsやギリシャ文字\phi, \psiを使います。
(\phi(空集合の記号\emptysetとは違う)は「ファイ」 \psiは「プサイ」と読む)
例えば、pが条件x+y=10を表すことを、
p : x+y=10
と書いたりします。とくにx,yについての条件であることを表すのに、p(x,y)という記号を使うことがあります。
複数の条件からいろいろな条件を作ることができます。
前回出てきたのは、条件p,qに対して、
pでない (\overline{p}) pまたはq pかつq
の3つが出てきました。
これらは、1つまたは複数の条件から新たな条件を作っているわけですね。
一方、次回もしくはその次で登場する、
pならばq すべてのxについてp(x) あるxについてp(x)
の3つは、1つまたは複数の条件から命題を作り出すことができます。
次回はそこら辺のことについて解説します。
今回もお読みいただきありがとうございました!
ではまた!
--------------------
練習問題の答え
Q1.
命題であるのは(1),(2),(4),(5)真の命題は(1),(4)
偽の命題は(2),(5)
((5)については、例えばx=-2, y=-3のとき、xy=6>0だがx<0, y<0である。)
Q2.
方程式x^2-3x+2=0を解くと、(x-1)(x-2)=0より\bold{x=1,2}
0 件のコメント:
コメントを投稿