わたしは高1で、数3の微積分まで履修をすすめたのですが、ここまあ?でやってきて、自分が肝心な事が全くわかっていないのではないのかという不安に駆られたので、質問します。
数学の答案においては、十分性(AならばBが成り立つ)ということが担保されて、議論が進んでゆくのでしょうか?(つまり、十分性がなりたてばよい)
もしくは、必要十分性が担保されて、議論が進んでいくのでしょうか?(つまり、必要十分性が成り立たなくてはならない)
微積分までやったのに、問題の必要な論理構造とはなにか?という数学の基本をおろそかにしていました。
また、教科書の論理の部分を読んでも、そのような事は全く書いておりません。
教えてください。
No.4ベストアンサー
- 回答日時:
十分性も必要十分性もまずは横において
論理構造というのを考えましょう。
論理学には論証というものがあり、これが論理構造にあたります。
ここで重要となってくるのが、「推論規則」です。
古典論理(命題論理、述語論理)には推論規則は一つしかありません。
すなわち、
「Aが真、A→Bが真ならば、Bは真である」
これがモーダス・ポネンスです。
論理構造とは、公理系と共にこの推論規則を使うことです。
A→Bは単なるAとBの含意演算にしか過ぎません。
そこに留まることなく、
推論規則を使って論証を進めなければなりません。
No.3
- 回答日時:
ここでお尋ねなのは、問題の論理構造じゃなくて、答案の論理構造でしょう。
「必要条件、十分条件」は P⇒Q という形の論理式でだけ意味を持つ用語です。
P⇒Sを証明するために、P⇒Q、Q⇒R、R⇒Sをそれぞれ証明する、というのはひとつのヤリカタです。が、他にもいろんな証明のやりかたがあり得ます。たとえば、A∧P⇒Sと¬A∧P⇒Sを証明してもいいんだし、もちろん¬S∧Pが矛盾であることを証明しても良い。
しかし、「条件X(x)を満たすxを求む」というタイプの問いであれば、それが求めているのはP⇒Sの形の証明ではなくて、{x | X(x)}という集合を尋ねている。だから、「必要条件、十分条件」という話には収まりません。
ANo.1の補足にある例(1)はどうか。酷い問題です。というのは、式が恒等式(任意のxについてこの等式が成立つ)なのか方程式(あるxがこの等式を満たすかも知れない)なのかを明示していないからで、こんな不注意な出題をするボケは教師落第である。
でもこの例はご自分で作った(あるいは抜き書きした)んじゃないでしょうか。その際に、上記で指摘した肝心の話が抜けてしまった。
さて、もしこれが
xに関する恒等式 ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21が成り立つ時、a,b,cを定めよ。
という問題であるなら、それは
{<a,b,c> | ∀x(ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21)}
を尋ねています。つまり、求められているのは、任意のxについてこの等式が成立つ(恒等式)という条件を満たすような3つ組<a,b,c>全部の集合であり、しかもこの式が恒等式にならない<a,b,c>は一切含まない集合である。
任意のxについて式が成立つというんだから、xにテキトーな値を代入してみればa,b,cを算出することができる。でも、もっと他の<a,b,c>があるかも知れません。なぜなら、いくら「定めよ」なんて尋ねられていても、本当に「定まる」かどうかは保証の限りじゃないんですから。もし他にも<a,b,c>があるなら、全部を答えなくてはいけない。一方、「条件を満たす<a,b,c>は1通りしかない」というのなら、その場合も確かに1通りしかない、という事を証明する必要があります。
さらに、そ(れら)の<a,b,c>が実際にこの式を恒等式にする(任意のxについて成立たせる)ことを証明しなくちゃいけません。どんなa,b,cを持ってきても式が恒等式にならない、ということだってあり得るんですから。
これら全てが
{<a,b,c> | ∀x(ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21)}
を答えるということに含まれていますんで、全部やってなきゃ減点されても文句は言えません。
ちうわけで、おそらくお困りのポイントは「必要条件、十分条件」ばかりではなく、「任意のxについてP(x)(∀xP(x))」と「あるxがあってP(x)(∃xP(x))」の区別にもあるんじゃないでしょうかね。
No.2
- 回答日時:
補足を拝見し、僕にはきちんと答える知識がなかったみたいです
そこで、逃げるようですが、
Yahoo! 知恵袋に類似した Q&A を見つけました
数学の問題において、 十分性の確認 とはどういう意味ですか?
またどういう問題でそれをするのですか!?
http://detail.chiebukuro.yahoo.co.jp/qa/question …
これは具体例で説明しているので、tjag さんの疑問、解消しませんか?
| (1)ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21
| が成り立つ時、a,b,cを定めよ。
| →適当な値をxに代入して
| (この場合では、x=-1、3、0)a,b,cを求める。
| 3つのxについて成り立つa,b,cにすぎないから、
| a,b,cがこれこれの値をとるとき、等式が成り立つとは限らないから
| 十分性を確認しようとするが、異なる3つの値を3次以下のxの
| 多項式に代入して成り立つから、十分性は担保される。
| この場合必要十分性が成り立つ
「十分性は担保される」って意味わかりませんでした
ただ、x の2次式が、異なる3つの x の値で等しければ、
それらの2次式は等しいと言って良いのですよね
(いくつかググったけど、探し出せませんでした)
| (2)√(x^2+2)=4のとき、両辺を2乗して、
| x^2=14⇔x=±√14
| x=a⇒x^2=a^2は成り立つが、
| その逆は成り立たないから、十分性を確認する。
両辺を二乗する前に、両辺が正であることを確認したら、
必要十分条件で論理を進めてることになるのかと
思ってました
これ以上の追加質問は僕にはよくわからないので、
他の回答者にお任せします
No.1
- 回答日時:
> 数学の答案においては、十分性(AならばBが成り立つ)
> ということが担保されて、議論が進んでゆくのでしょうか?
> (つまり、十分性がなりたてばよい)
数学の問題を解く時、問題文にいろいろ条件が示され、
A(← 問題文)ならば 、B(←解答)が成り立つ)
というように議論を進めます
問題文が十分条件で、解答が必要条件です
解答が A= 5 とかだったとして、
A = 5 となるような問題文は無限に作れるので、
問題文は必要条件ではありません
この回答への補足
数学の答案では、AならばBがなりたてば、次に議論を進める。ということでしょうか?
抽象論だけではあまりよくないので、わたしが数3までやってきて、論理構造が関係していると思う簡単な例を書きます。
(例)
(1)ax(x+1)+bx(x-3)-c(x-3)(x+1)=6x^2+7x+21が成り立つ時、a,b,cを定めよ。
→適当な値をxに代入して(この場合では、x=-1、3、0)a,b,cを求める。
3つのxについて成り立つa,b,cにすぎないから、a,b,cがこれこれの値をとるとき、等式が成り立つとは限らないから十分性を確認しようとするが、異なる3つの値を3次以下のxの多項式に代入して成り立つから、十分性は担保される。
この場合必要十分性が成り立つ
(2)√(x^2+2)=4のとき、両辺を2乗して、x^2=14⇔x=±√14
x=a⇒x^2=a^2は成り立つが、その逆は成り立たないから、十分性を確認する。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 数学 どっちと思いますか 4 2022/10/10 11:16
- 数学 微分積分は情報系にとっては必須ですか? 大学で情報系の学部に入りましたが、数学が苦手で、微分積分を履 9 2022/04/15 01:17
- 物理学 物理工学系学科-調査課題 2 2022/04/26 18:57
- 数学 難しい教科書を使わないで 4 2022/10/24 22:20
- 政治 出入国管理法(入管法)の改正案についてお教えください 6 2023/06/11 12:05
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 政治 ひろゆきさんと小西議員の安倍総理の国葬の是非について 4 2022/08/23 18:08
- 事件・犯罪 刑法についてです 2 2022/06/04 03:11
- 事件・犯罪 刑法についてだれか助けてください。 2 2022/06/05 04:08
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
中心角の定理
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
次元定理以外で
-
数学の証明問題で、「証明終了」...
-
元カレと再婚した方ってなかな...
-
なぜ独身だと養子が持てないの...
-
素数の性質
-
つながった2つのリングを外す
-
高校数学の証明について質問で...
-
3,4,7,8を使って10を作る
-
フェルマーの最終定理。 数学者...
-
2のn乗根で、 nを無限大に持っ...
-
47歳、母親の再婚を子供の立場...
-
高一数学 数1 a,bは実数とする...
-
無理数って二乗しても有理数に...
-
数学の最小値問題の証明
-
完全数が連続した自然数の和で...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報