No.2ベストアンサー
- 回答日時:
真なんだけれど、証明しろって言われたら
何を書いたらいいのかな?
(-1<X かつ X<1) → (X<5 または X=5) を証明するには
X<1 → X<5 を証明すれば十分なので、
「X<1 かつ 1<5 より X<5」と書いとけばいいでしょうかね。
No.3
- 回答日時:
ソモソモ、
A → B
というのは命題論理の式であって、この式全体が「命題Aが真ならば、命題Bは真である」ということを表す命題です。(別の言い方をすれば「AはBの必要条件である」ということであり、また「BはAの十分条件である」と読んでも同じことで、さらには「Aが偽であるか、またはBが真である」と言っても良いし、「Aが真でかつBが偽、ということはない」ということでもある。)
ところがですね、A, Bがご質問ではどこに当たるのかというと、Aは"-1<X<1"でBは"X≦5"である。これらはXという変数が入っていますから、これだけでは真とも偽とも定まらない。すなわち、"-1<X<1"と"X≦5"はどちらも命題ではありません。これらは「述語」と呼ばれるものであって、Xが具体的になんなのかが与えられた(代入された)時に初めて命題になるんです。なので、
-1<X<1 →X≦5
という式全体も命題になっておらず、これ全体も一つの述語なのです。だから
> 次の命題の真偽を調べ、
と言われたって、命題じゃないんだから無理です。
ところで、
∀X(-1<X<1 →X≦5)
という式は述語論理の式であって、この式全体は「どんなXについても(-1<X<1 →X≦5)ということが成り立つ」という命題である。また、
∃X(-1<X<1 →X≦5)
という式も述語論理の式であって、この式全体は「(-1<X<1 →X≦5)ということが成り立つようなXが少なくとも一つ存在する」という命題である。これらは命題になってるんです。
さて、ご質問では
> 反例をあげなさい
ということを求められている。ということは、出題者の意図はおそらく
∀X(-1<X<1 →X≦5)
の真偽を問うているのでしょう。そして、これが偽であるのなら、反例、すなわち「"-1<X<1"が真でありかつ"X≦5"が偽であるようなX」の具体例を示せというつもりなんでしょうね。…と、そこまで出題者を甘やかさなきゃならんわけだが、
ともあれ、
どんなXでも、(-1<X<1でないか、または、 X≦5である)
ということを証明すれば良い。それには場合分けを使います。
(1) 「-1<X<1 でない場合には、(-1<X<1でないか、または、 X≦5である)は真だよな。」
と、これはもう自明ですよね。そして、
(2) 「-1<X<1 である場合には 、たしかにX≦5だよな。だからこの場合、(-1<X<1でないか、または、 X≦5である)は真だよな。」
ということの前半部分を証明するには、No.2のご回答の通りでよろしいでしょう。で、後半部分はやはり自明ですね。
(3) 以上から、Xとして具体的な数aであるとき、aが-1<a<1 を満たす場合と、aが-1<a<1 を満たさない場合とで全ての場合を尽くしている。そして、aが-1<a<1 を満たす場合も、aが-1<a<1 を満たさない場合も、-1<a<1 →a≦5(このaは具体的な数なので、この式全体は命題です)が成り立つ。だから、
∀X(-1<X<1 →X≦5)
が成り立つ(真である)。
ということになるわけ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 【 数A 集合を用いた命題の真偽 】 問題 xは実数とする。集合を用いて, 次の命題の真偽を調べよ。 1 2022/07/18 19:51
- 数学 【 数Ⅰ 集合を用いた命題の真偽 】 問題 集合を用いて次の命題の真偽を調べよ。 |x|⇒3x+1≦ 3 2022/08/04 12:40
- 数学 数学 5 2022/04/24 00:07
- 数学 真偽表(真理値表)について 今日、大学の授業で真偽表(真理値表)について学習しました。(画像)(見づ 5 2022/04/13 01:18
- 数学 {Ai ; i ∈ N} を位相空間 X のコンパクト集合族としたとき, ∪∞i=1 Ai はコンパ 2 2023/01/17 18:57
- 数学 次の命題は真なのでしょうか? 「任意の実数x,yに対して、"x=2ならばx+y=5" または "y= 9 2022/10/12 14:11
- 数学 必要十分条件と同値について 1 2022/06/25 00:56
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 解析学についての問いです 1 2022/12/13 22:59
- 数学 高校一年生です。 数学で分からない単元があるので教えて欲しいです。単元は命題の真偽です。 出た課題の 4 2023/08/18 16:30
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
g◦fが全射で、さらにgが単射な...
-
数学の記号"⇔" "∴"の使い方を教...
-
「PならばQ」と「(Pでない...
-
命題の真偽
-
数学の質問です。 命題p,q,rに...
-
xは、実数とする時、次の命題が偽...
-
頭を切った円すいの体積と面積
-
命題の真偽についてです。 x^2-...
-
Gを位数nの有限な乗法群とする...
-
命題
-
命題?必要十分条件?
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題が偽のときの真理表 例えば...
-
原則には、例外が付きものです...
-
数学に詳しい人教えてください...
-
命題の否定でわからないところ...
-
命題の否定
-
エクセルで(~以上,~以下)...
-
高2の数学の対数関数です。 真...
-
年代と年台・・・どちらが正し...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
写真の命題1.3の証明についてで...
-
数学の記号"⇔" "∴"の使い方を教...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
「帰納法とは、本来前提となる...
-
数学に詳しい人教えてください...
-
命題の否定でわからないところ...
-
無理数
-
任意の実数とは?
-
命題の真偽
-
命題の真偽を調べよ。①直角二等...
-
命題
-
【 数A 集合を用いた命題の真偽...
-
命題と論理式の違いは何でしょ...
-
ゲーデルの第1不完全性定理の具...
-
limsup(sinN)=1?
-
ある表現が命題かどうかを示す...
-
命題がわかりません!!
-
数学 命題と条件 xは実数とする...
-
数学 同値と必要十分の意味につ...
おすすめ情報