
No.4
- 回答日時:
高校の教科書とかだと、「逆」「裏」「対偶」という言葉の定義に
いい加減なことが書いてあるから、皆が混乱する。
教科書だと、命題 P,Q に対して命題 P⇒Q の
逆が Q⇒P, 裏が ¬P⇒¬Q, 対偶が ¬Q⇒¬P だと書いてある。
それはそれで結構なことなのだが、その定義だと、
「(a>0かつb>0)⇒ab>0」の逆, 裏, 対偶 は定義できないのだ。
なぜって、(a>0かつb>0) も ab>0 も「命題」ではないからだ。
(a>0かつb>0) や ab>0 は、自由変数 a, b を持つ「述語」である。
述語 P(a,b), Q(a,b) の真偽を決めることはできず、
真偽を考えるためには、述語 P(a,b)⇒Q(a,b) を命題にすり替える
ために ∀a,b,P(a,b)⇒Q(a,b) にでも置き換えて考えざるを得ない。
そこで、逆, 裏, 対偶 の定義も、命題 ∀a,b,P(a,b)⇒Q(a,b) の
逆が ∀a,b,Q(a,b)⇒P(a,b), 裏が ∀a,b,¬P(a,b)⇒¬Q(a,b),
対偶が ∀a,b,¬Q(a,b)⇒¬P(a,b) とでも変更しなければ意味をなさない。
このように「逆」「裏」「対偶」の定義にを変更してみると、
∀a,b,(a>0かつb>0)⇒ab>0 の逆は
∀a,b,ab>0⇒(a>0かつb>0) となり、
a = b = 1 のときに ab>0⇒(a>0かつb>0) が成り立つだけでは
∀a,b,ab>0⇒(a>0かつb>0) だとは言えないことが判るだろう。
∀ なんだから、他の a,b のことも考えろよ という話になり、
反例 a = b = -1 が見つかることになる。
要点: 命題と述語の区別くらいつけろ。
No.3
- 回答日時:
補足
命題の真偽には、集合と言うものを考えると良さそうです
ab>0を満たすようなa、bの組は
(1、1)や(-2、-√3)などなどがあり
これらの組すべてを集めたものを集合Aとします
a>0かつb>0を満たすようなa、bの組には(1、1)や(6、3/5)などなどがあり
これらの組すべてを集めたものを集合Bとします
このとき集合AがBに完全に包まれているなら、Aの要素であるa、bの組はすべて、かならずBの要素でもあるので
AならばBはかならず成り立つことになります
つまり、集合AがBにすっぽり包まれているならその命題は真
AがBからはみ出す部分があるならその命題は偽となります
ご質問の命題の逆では
A:ab>0を満たす組(a、b)=(-1、-1)などが
B:a>0かつb>0を満たす組には含まれていないので
集合Aは集合Bから一部はみ出してることになります
ゆえに偽と判断するのです
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
g◦fが全射で、さらにgが単射な...
-
xは、実数とする時、次の命題が偽...
-
「PならばQ」と「(Pでない...
-
命題
-
命題がわかりません!!
-
命題の否定でわからないところ...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
数学の記号"⇔" "∴"の使い方を教...
-
否定命題
-
「無限の一つ前の数字は何?」...
-
エクセルで(~以上,~以下)...
-
判別式の使う時とか使わない時...
-
lim[n→∞](1-1/n)^n=1/e について
-
三角関数の範囲について、 0≦x≦...
-
高2の数学の対数関数です。 真...
-
三角関数 -3分のπって3分の5...
-
高校数学、三角関数についてで...
-
至急!!二次関数について aは...
-
√(n+1)-√(n )の極限について。...
-
数学の思考プロセスを理解する...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題の否定でわからないところ...
-
命題 コロッケを食べない
-
g◦fが全射で、さらにgが単射な...
-
数学において Pが偽、Qが真のと...
-
証明
-
命題の真偽について。画像のよ...
-
原則には、例外が付きものです...
-
難しい命題論理
-
任意の実数とは?
-
命題の真偽判定について
-
【 数A 集合を用いた命題の真偽...
-
xは、実数とする時、次の命題が偽...
-
無理数
-
「これで絶対に幸せになります...
-
高校数学:「なぜ確率と論理を...
-
命題の真偽を調べよ。①直角二等...
-
もしも数学
おすすめ情報