A 回答 (5件)
- 最新から表示
- 回答順に表示
No.5
- 回答日時:
No.4へのコメントについて。
「第二に」の方に関して、うわごとを口走った当人を捕まえるのに成功なさったようで。その「本人」さんは、追加説明しなきゃならんようなヘロヘロは一旦取り下げて、キチット意味が定まる命題を書き直すのがスジってものです。
ところでその追加説明が
> P:「相対的な順番を変えないまま論理積をとる。」
> 主張はP → Qと定式化することができ、Pが偽なので
いやいや、Pはどう見たって命題じゃないでしょう。なのに「Pが偽」だとどうして断定できちゃうんでしょうかね。説明になっとらんです。(錯乱の仕方がなんだか生成AIっぽいですね。)
というのはさておき。
論理積は2項演算として導入する。だからこの段階では、複数の論理積を含む式はカッコを使って書かなくちゃいけない。次に、結合則が成り立つことを証明する。これで初めて「(少なくとも真偽に関しては)カッコを省略してもマギレはない、ということが分かった。そして以下では真偽だけを議論する。だから、以下ではカッコは省略して書くことにします」と進むべきところでしょう。
ところが、ご質問の話は、「カッコなしで論理積演算をいっぱい並べたもの」に無条件で真偽が決まると言い張って、その上で、結合則を示せと言っている。(結合則をキッチリ記述することすら、カッコなしではできんと思いますが。)
つまり、話の順番がひっくり返っているんです。
P:「相対的な順番を変えないまま論理積をとる。」
これはご指摘の通り、命題ではありません。
正しくは、次のようになります。
P:「n=1の場合、すなわちA₁は、相対的な順番を変えないまま論理積をとる」
A₁だけでは論理積をとっていないため、Pは偽となります。そこで、
Q:「A₁は、論理積を作用させる順番とは関係なく最終的に得られる論理式はいずれも論理的に同値である。」
と定式化し、P → Qについて考えると、真になるため、n=1の場合は、主張が成り立ちます。
今回のメインはn=1で成り立つかどうかです。先ほどの補足は、それを厳密に明記していなかったため、誤解が生じてしまいました。
No.4
- 回答日時:
ご質問の疑問は実にもっともで、的確な疑問だと思います。
そして、この疑問に対して「文章の意図を忖度し、過不足を補って解釈してやれ」という回答が出るのも、また無理もないと思います。
でもね、これは他ならぬ記号論理学の話です。甘っちょろい忖度なんかを期待するんであれば、そもそも論理など語るな!って事です。
そうであれば、ご質問の画像に「命題」だと銘打って書いてある文章のような、ヘロヘロの自称「命題」を証明しろと求めるのは、一体どういうことなのか:
(a)「命題のように見えても、注意深く読むと、忖度で救ってやらねばならんようなヘロヘロの文章に過ぎないことがあるんだなあ」と気付かせることを意図した、なかなか高度な指導
なのか、あるいは、単に
(b) 論理学を教えるのに足る見識を持たない者が出題している
だけなのか。どっちだろうな。
てのはさておき、
第一に、画像の文章はn>1の場合にしか意味をなさない。(これが、ご質問の疑問点ですよね。)「意味をなさない」とは、「n>1の場合にのみ真になる命題だ」というのではなくて、「n≦1の時には無意味であり、もちろん真でもなければ偽でもない」ということです。そして、真偽が定まらないものは命題ではない。
画像の文章を「証明」したいのなら、(すでに出ている回答が示唆する通り)まずはこの文章をマトモな命題になるように修正しなくてはならない。けれども勝手に自由に手直して良いわけではなくて、その可否はもっぱら、文章を書いた人が「自分がこの文章に込めた意図は、直したことによっても変わっていない」と承認するかどうかに掛かっている。言い換えれば、こんなうわごとを口走ったやつを捕まえて「おかしいじゃないか、どういう積もりなんだっ!」と問い質すしかありません。
第二に、「相対的な順番を変えないまま」だの「論理積を作用させる順番」だの「最終的に得られる論理式」だの「論理的に同値」だのの意味が不明確なので、この文章は(単独では)命題として成立していません。
論理積を含む論理式をごく普通のやり方で、例えば
Fが論理式でPが因子のとき、F∧Pは論理式である
のように定義すると、そもそも「論理積を作用させる順番」を勝手に選ぶことなどできません。(括弧を付けるか因子の並びを変えることによってのみ、それは可能です。)では「論理積を作用させる順番」というのはどんな操作をする話をしているのか。そこがはっきりしないと、どういう命題を相手にして、何を前提にして証明をやるんだかが定まらない。
ただしこちらのポイントは、もしかすると質問者氏の責任かもしれません。すなわち、この文章よりも前に書いてあるはずの、証明に必要な用語の定義を全部並べてみると、案外、この文章は(「ごく普通のやり方」以外の)特殊なスタイルで定義された(一風変わった)「論理式」に関する論理学、という文脈の上での話なのかもしれない。(…という可能性が理論上は考えられる。ですが、いや、そんなことを実際にやってるとは、ちょっと思えないけどなあ。)
本人に聞いてみたところ、次のような回答が得られました。
P:「相対的な順番を変えないまま論理積をとる。」
Q:「論理積を作用させる順番とは関係なく最終的に得られる論理式はいずれも論理的に同値である。」
と置くと、主張はP → Qと定式化することができ、Pが偽なので、P → Qは真になるということ
No.3
- 回答日時:
論理積や論理和の定義の与え方にもよると思いますが、結合律の話をするならn=3を最初とするのが分かりやすいでしょう。
n=3が結合律そのものです。n=1,2は縮退した特殊ケースで、これらのケースでは論理積が0個,1個なので、そもそも作用させる順番というのが議論できません。
すみません、回答を見逃していたため返信が遅れました。
今回、次のような流れで証明をしようと考えております。
①n=1,2,3で主張が成り立つことを示す。
②3以上の任意の自然数kを選び、k以下の任意の自然数nで主張が成り立つと仮定した上で、k+1でも主張が成り立つことを示す。
この数学的帰納法は完全帰納法と呼ばれるものであり、k以下の全ての自然数を仮定しているため、
n=1を示すことは必要不可欠です。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 数学 『等式の証明』 a+b=2の時 写真の一番上の等式が成り立つことを証明せよ 解法合ってますかね 3 2023/03/31 22:37
- 数学 数学的帰納法の質問です。 n=1、k,k+1のときすべての自然数nが成り立つという証明で、なぜ、n= 7 2023/07/02 11:59
- 数学 帰納法 2 2022/06/08 22:25
- 数学 全ての自然数nに対して「2^3n−3^n」は5の倍数であることを数学的帰納法で証明 写真の解法は合っ 2 2023/06/18 00:30
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 数学 数学的帰納法について質問があります。 8 2023/04/05 23:32
- 数学 群論に関して, 明らかとしか思えない命題に関して質問です 5 2024/02/10 16:53
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
なぜx軸と平行な直線を検討しないのでしょうか
数学
-
確率の乗法定理の問題で私の考え方がなぜ間違いなのかを教えてください
数学
-
ここの計算ってどうやってやってるんですか? 一回√の中身を筆算で解いてから素因数分解してるのでしょう
数学
-
-
4
ピタゴラスの定理は辺の長さが虚数でも成り立ちますか
数学
-
5
小学生算数の逆算について
数学
-
6
1/tanx=cosx/sinx ?
数学
-
7
大学入試の数学で、解答を進めていった結果2次方程式を解かなければいけなくなった時に、たとえばx^+x
数学
-
8
長方形の分類(幾何学)
数学
-
9
これて間違ってますよね?
数学
-
10
2x^3+x^2-9を有理数の範囲内で因数分解しろという問題で、これは(2x-3)を因数に持つという
数学
-
11
外積の記号について 外積の記号には一般に「×」が使われると思います。 1部の書籍やwebサイトなどで
数学
-
12
サイコロを3回振って、123や345などの連番が出る確率はどれくらいですか? 計算方法も教えて貰える
数学
-
13
2点(300,1000),(500,5000)の直線はy=20x-5000となるのはわかるのですが、
数学
-
14
複雑な二項係数の和
数学
-
15
数学I アホらしい質問なのでそんなこと考えることは無駄などの解答は受け付けておりません。 また自分的
数学
-
16
数的推理 整数 問題 4個の自然数のa.b.c.dがあり、a>b>c>dである。 この4個の自然数か
数学
-
17
これについて質問です。微分をしているのですが、なぜf(2x)以外に2が出てくるのでしょうか?どなたか
数学
-
18
大小2個のサイコロを投げるとき、 目の和が4の倍数になる場合は、何通りあるか。 私は4.8.12にな
数学
-
19
三平方の定理で、斜辺以外の辺を求める時はルートを使わないといけないのでしょうか?
数学
-
20
自明の証明
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
n=3の倍数ならば、n=6の倍数で...
-
数学B漸化式です。 a1=1/5, an+...
-
命題「PならばQ」でPが偽ならば...
-
数学の論理学的な質問なんです...
-
数学の背理法について質問です...
-
命題の証明の解き方を教えてく...
-
数学的帰納法の根本的な疑問な...
-
1/m+1/n=1/p
-
有理数+無理数=無理数 の証明
-
対偶
-
矛盾と両立
-
強い仮定、弱い仮定、とは
-
命題を証明せよとはどういう意...
-
集合と論理の問題です
-
すべて、ある、について
-
nから2nの間に奇素数が全く...
-
対偶を用いた証明です
-
高一、二項定理、の問題です
-
x=y=0の否定について(再度...
-
論理学→命題と対偶
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の背理法について質問です...
-
a>0、b>0⇔a+b>0、ab>0
-
以前も質問させていただいたの...
-
命題「PならばQ」でPが偽ならば...
-
命題を証明せよとはどういう意...
-
n=3の倍数ならば、n=6の倍数で...
-
数学の反例について。 P⇒Qの反...
-
背理法について
-
x≠1⇒xの二乗≠1の真偽
-
「逆もまた真なり」について
-
数学の論理学的な質問なんです...
-
カントールの対角線論法につい...
-
対偶法による無理数の証明につ...
-
a,bが有理数として√6が無理数を...
-
nは自然数 n^2と2n+1は互いに素...
-
数学 x,yは実数とする。「xy+1=...
-
数学。「次の命題の真偽を調べ...
-
強い仮定、弱い仮定、とは
-
有理数+無理数=無理数 の証明
-
命題論理に関する英単語
おすすめ情報
n=1で示す場合には、どのように示せば良いのでしょうか。
この場合は論理積がないため、主張が成り立つかどうか判断出来ないです。
mtrajcpさん
解答ありがとうございます。
私も最初、「n=1のとき、得られる論理式はA₁であり、これはどこの論理積を先に作用させてもいずれも論理的に同値である」
と無理やり解釈したいと考えていました。
しかし、「どこの論理積を先に作用させても」と表現したのですが、論理積がないので、このような考えをしても良いのか迷っています。
このような考えをしても大丈夫ということでしょうか。
stomachmanさん
回答ありがとうございます。
字数制限があるため、分けて説明致します。
(1)「相対的な順番を変えない」の意味について説明します。
例えば、交換律では、A ⇔ Bが成り立つとき、B ⇔ Aも成り立ちます。このように、論理式の位置が入れ替わったりする状況を、相対的な順序が変わっていると表現しています。そのため、「相対的な順番を変えない」とは、A₁からAₙまでの論理式の順番が入れ替わることがないということです。
(2)「論理積を作用させる順番」の意味について説明します。
結合律では、A ∧ (B ∧ C) ⇔ (A ∧ B) ∧ Cが成り立ちます。これは、BとCを先に論理積を作用させても、AとBを先に論理積を作用させても、同値関係であるということを表現しています。先ほどの「相対的な順番を変えない」と組み合わせると、A,B,Cの順番を変えない状況で、AとBを先に論理積を作用させても、BとCを先に論理積を作用させても同値であると考えることができます。
(3)「最終的に得られる論理式」の意味について説明します。
先ほどの話により、AとBを先に作用させた論理式やBとCを先に作用させた論理式など、さまざまな順序の論理式が得られる可能性があります。それらがいずれも同値関係であると問題は主張しています。
つまり、「最終的に得られる論理式」とは、論理積の作用の順番が異なる任意の論理式となります。
(4)「論理的に同値」の意味について説明します。
「論理的に同値」とは、同等A ↔ Bが恒真式であると定義されます。同等は、AとBの真理値が共に同じ値であるときのみ真となる論理演算子と定義されています。恒真式とは、常に真をとる論理式のことです。
つまり、同等A ↔ Bが常に真をとる論理式のとき、AとBは論理的に同値であると表現されます。
(5)論理式の定義に関しては以下のようになります。
①命題変数は論理式である。
②命題定数は論理式である。
③Aが論理式のとき、(¬A)は論理式である。
④A,Bが論理式のとき、(A ∧ B)、(A ∨ B)、
(A ⊻ B)、(A → B)、(A ↔ B)はいずれも論理式である。
(1)から(5)の解釈のもとでn=1の場合を考えると、(1)、(2)、(3)は問題がないと思います。しかし、(2)が怪しいです。論理式の定義では、AとBが論理式のとき、
(A ∧ B)も論理式であると定義されています。つまり、この定義では、論理積を作用させるには最低限AとBの二つの論理式が必要ということになります。n=1のとき、A₁となり、一つの論理式しかないため、論理積の作用の順番を考えることができません。
今、この補足を書いているときに思いついたことがあります。
べき等律により、(A ∧ A) ⇔ Aという規則が成り立ちます。そのため、n=1のとき、それはA₁ですが、同値変形をすることにより、(A₁ ∧ A₁)と表すことができると思いました。このようにして表すことができれば、(2)も成り立つと考えました。
この考えについてどう思うかコメントいただきたいです。