―「昨日(令和04年04月01日)の記事」を書き直します。―
(01)
① 5{4[3〔2(1)〕]}
② 2(4[5{3〔1)〕]}
に於いて、
#( )⇒( )#
#〔 〕⇒〔 〕#
#[ ]⇒[ ]#
#{ }⇒{ }#
といふ「移動」を行ふと、
① {[〔(1)2〕3]4}5
② ([{〔1)2〕3]4}5
従って、
(02)
① {[〔( )〕]}
② ([{〔 )〕]}
を用ひることによって、
①5 4 3 2 1
②2 4 5 3 1
といふ「順番」を、
①1 2 3 4 5
②1 2 3 4 5
といふ「順番」に、「並び変へ(ソートする)」ることが出来る。
然るに、
(03)
「定義」により、
(ⅰ)( )
(ⅱ)〔 〕
(ⅲ)[ ]
(ⅳ){ }
に於いて、
(ⅰ)は『括弧』であって、
(ⅱ)の中に(ⅰ)が在るならば、(ⅱ)は『括弧』であり、
(ⅲ)の中に(ⅱ)が在るならば、(ⅲ)は『括弧』であり、
(ⅳ)の中に(ⅲ)が在るならば、(ⅳ)は『括弧』である。
従って、
(02)(03)により、
(04)
① {[〔( )〕]}
② ([{〔 )〕]}
に於いて、
① は『括弧』であるが、
② は『括弧』ではない。
従って、
(04)により、
(05)
①#が「n+1より大きい数」を含んでゐるならば、そのときに限って、
①n+1<#>n(nは自然数。)
といふ「順番」を、『括弧』を用ひて、
①n<n+1<#
といふ「順番」に、「並び変へ(ソートする)」ることが出来ない。
従って、
(05)により、
(06)
①12345
②12354
③12435
④12453
⑤12534
⑥12543
①13245
②13254
③13425
④13452
⑤13524
⑥13542
①14235
②14253
③14325
④14352
⑤14523
⑥14532
①15234
②15243
③15324
④15342
⑤15423
⑥15432
①21345
①21354
①21435
①21453
①21534
①21543
②23145
②23154
②23415
②23451
②23514
②23541
③24135
③24153
③24315
③24351
③24513
③24531
④25134
④25143
④25314
④25341
④25413
④25431
①31245
①31254
①31425
①31452
①31524
①31542
②32145
②32154
②32415
②32451
②32514
②32541
③34125
③34152
③34215
③34251
③34512
③34521
④35124
④35142
④35214
④35241
④35412
④35421
①41235
①41253
①41325
①41352
①41523
①41532
②42135
②42153
②42315
②42351
②42513
②42531
③43125
③43152
③43215
③43251
③43512
③43521
④45123
④45132
④45213
④45231
④45312
④45321
①51234
①51243
①51324
①51342
①51423
①51432
②52134
②52143
②52314
②52341
②52413
②52431
③53124
③53142
③53214
③53241
③53412
③53421
④54123
④54132
④54213
④54231
④54312
④54321
といふ「5!=5×4×3×2×1=120通り」に於ける、
④12453
③13425
④13452
⑤13524
⑥13542
②14253
④14352
⑤14523
⑥14532
④15342
①21453
②23145
②23154
②23415
②23451
②23514
②23541
③24135
③24153
③24315
③24351
③24513
③24531
④25134
④25143
④25314
④25341
④25413
④25431
①31425
①31452
①31524
①31542
②32415
②32451
②32514
②32541
③34125
③34152
③34215
③34251
③34512
③34521
④35124
④35142
④35214
④35241
④35412
④35421
①41253
①41352
①41523
①41532
②42153
②42315
②42351
②42513
②42531
③43152
③43251
③43512
③43521
④45123
④45132
④45213
④45231
④45312
④45321
①51342
②52314
②52341
②52413
②52431
③53142
③53241
③53412
③53421
④54231
といふ「78通り」に対しては、『括弧』を加へることが出来ず、
①12345
②12354
③12435
⑤12534
⑥12543
①13245
②13254
①14235
③14325
①15234
②15243
③15324
⑤15423
⑥15432
①21345
①21354
①21435
①21534
①21543
①31245
①31254
②32145
②32154
①41235
①41325
②42135
③43125
③43215
①51234
①51243
①51324
①51423
①51432
②52134
②52143
③53124
③53214
④54123
④54132
④54213
④54312
④54321
といふ「(42-1=41通り」に対しては、
①12345
②1235(4)
③124(3)5
⑤125(34)
⑥125〔4(3)〕
①13(2)45
②13(2)5(4)
①14(23)5
③14〔3(2)〕5
①15(234)
②15〔24(3)〕
③15〔3(2)4〕
⑤15〔4(23)〕
⑥15[4〔3(2)〕]
①2(1)345
①2(1)35(4)
①2(1)4(3)5
①2(1)5(34)
①2(1)5〔4(3)〕
①3(12)45
①3(12)5(4)
②3〔2(1)〕45
②3〔2(1)〕5(4)
①4(123)5
①4〔13(2)〕5
②4〔2(1)3〕5
③4〔3(12)〕5
③4[3〔2(1)〕]5
①5(1234)
①5〔124(3)〕
①5〔13(2)4〕
①5〔14(23)〕
①5[14〔3(2)〕]
②5〔2(1)34〕
②5〔2(1)4(3)〕
③5〔3(12)4〕
③5[3〔2(1)〕4]
④5〔4(123)〕
④5[4〔13(2)〕]
④5[4〔2(1)3〕]
④5[4〔3(12)〕]
④5{4[3〔2(1)〕]}
といふ風に、『括弧』を加へることが出来る。
然るに、
(07)
(08)
cf.
① 告げざる可からず。
② 我、鳥の樹に啼くを聞く。
③ 鳥獣は、これと与に群れを同じくする可からず。
④ 外人の為に言ふに足らざるなり。
⑤ 耕す者、益々急ならざる可からず。
⑥ 己にご如からず者を友とすること無かれ。
⑦ 当世の士大夫、劉老人有るを知ら不る者無し。
⑧ 聖人の知らざる所、未だ必ずしも愚人の知る所と為さずんばあらざるなり。
⑨ 籍をして誠に子を畜ひ寒さを憂れふるを以て心を乱さず財有りて以て薬を剤さ使む。
従って、
(07)(08)により、
(09)
例へば、
① レ レ レ
② 二 一レ
③ レ 二 レ 一レ
④ レ 下 二 一 上
⑤ レ 三 二 一
⑥ レ 二 レ レ 一
⑦ 下 レ レ 二 一 上
⑧ レ レ 二 一レ 二 一レ
⑨ 乙 下 二 レ 一レ 上レ レ 甲レ
といふ「レ点」は、
① 四 三 二 一
② 三 二 一
③ 丁 丙 二 一 乙 甲
④ 下 中 二 一 上
⑤ 四 三 二 一
⑥ 下 中 三 二 一 上
⑦ 下 四 三 二 一 上
⑧ 三 二 一、五 四 三 二 一
⑨ 人 丙 下 二 一 中 上 乙 甲 二 一 地 天
といふ「返り点」に「等しい」。
従って、
(09)により、
(10)
(ⅰ)一 二 三 四 五
(ⅱ)甲 乙 丙 丁
(ⅲ)上 中 下
(ⅳ)天 地 人
といふ「返り点」で、「不足」が生じない限り、
(ⅴ)レ
(ⅵ)一レ 上レ 甲レ 天レ
は「不要」である。
然るに、
(11)
① 四[三〔二(一)〕]
② 三〔二(一)〕
③ 丁[丙〔二(一)乙(甲)〕]
④ 下[中〔二(一)上〕]
⑤ 四[三〔二(一)〕]
⑥ 下{中[三〔二(一)〕上]}
⑦ 下{四[三〔二(一)〕]上}
⑧ 三〔二(一)〕、五{四[三〔二(一)〕]}
⑨ 人{丙[下〔二(一)中(上)〕乙(甲)]二(一)地(天)}
に於いて、
#( )⇒( )#
#〔 〕⇒〔 〕#
#[ ]⇒[ ]#
#{ }⇒{ }#
といふ「移動」を行ふと、
① [〔(一)二〕三] 四
② 〔(一)二〕三
③ [〔(一)二(甲)乙〕丙]丁
④ [〔(一)二上〕中]下
⑤ [〔(一)二〕三]四
⑥ {[〔(一)二〕三上]中}下
⑦ {[〔(一)二〕三]四上}下
⑧ 〔(一)二〕三、{四[〔(一)二〕三]}五
⑨ {[〔(一)二(上)中〕下(甲)乙]丙(一)二(天)地}人
従って、
(07)~(11)により、
(12)
(ⅴ)レ
(ⅵ)一レ 上レ 甲レ 天レ
を含む「返り点」は、
(ⅰ)一 二 三 四 五
(ⅱ)甲 乙 丙 丁
(ⅲ)上 中 下
(ⅳ)天 地 人
に「置き換へ」ることが出来、
(ⅰ)一 二 三 四 五
(ⅱ)甲 乙 丙 丁
(ⅲ)上 中 下
(ⅳ)天 地 人
であれば、
(ⅰ)( )
(ⅱ)〔 〕
(ⅲ)[ ]
(ⅳ){ }
に「置き換へ」ることが出来る。
従って、
(05)(12)により、
(13)
「返り点」は、例へば、
②12354
③12435
⑤12534
⑥12543
①13245
②13254
①14235
③14325
①15234
②15243
③15324
⑤15423
⑥15432
①21345
①21354
①21435
①21534
①21543
①31245
①31254
②32145
②32154
①41235
①41325
②42135
③43125
③43215
①51234
①51243
①51324
①51423
①51432
②52134
②52143
③53124
③53214
④54123
④54132
④54213
④54312
④54321
といふ「順番」にしか、着かない。
従って、
(13)により、
(14)
「漢文」と「訓読」の「語順」は、『規則正しく異なる』のであって、
「不規則(ランダム)に異なる」といふわけではない。
然るに、
(15)
漢語における語順は、国語と大きく違っているところがある。すなわち、その補足構造における語順は、国語とは全く反対である。しかし、訓読は、国語の語順に置きかえて読むことが、その大きな原則となっている。それでその補足構造によっている文も、返り点によって、国語としての語順が示されている(鈴木直治、中国語と漢文、1975年、296頁)。
従って、
(14)(15)により、
(16)
例へば、
⑨ 使籍誠不以畜妻子憂飢寒乱心有銭財以済医薬=
⑨ 使人籍誠不乙以下畜二妻子一憂中飢寒上乱甲レ心有二銭財一以済地医薬天=
⑨ 使{籍誠不[以〔畜(妻子)憂(飢寒)〕乱(心)]有(銭財)以済(医薬)}⇒
⑨ {籍誠[〔(妻子)畜(飢寒)憂〕以(心)乱]不(銭財)有以(医薬)済}使=
⑨ {籍をして誠に[〔(妻子を)畜ひ(飢寒を)憂ふるを〕以て(心を)乱さ]不(銭財)有りて以て(医薬を)済さ}使む。
に於ける、
⑨{[〔( )( )〕( )]( )( )}
といふ「括弧」は、
⑨ 人 乙 下 二 一 中 上 甲レ 二 一 地 天
といふ「返り点」の「役割」を果たしていて、それと「同時」に、
⑨ 使籍誠不以畜妻子憂飢寒乱心有銭財以済医薬。
といふ「漢文」の『補足構造』を表してゐる。
然るに、
(17)
然るに、
(18)
私は、中国語が一切、分からないものの、
【 】内都是「使」的内容,( )内是「乱心」的原因。
といふことは、
【 】の中は全て、「使」の内容であり、
( )の中は「乱心」の原因である。
といふ「意味」であるに、違ひない。
従って、
(17)(18)により、
(19)
私も、王赟 Maigoさんも、二人とも、「事実」として、
⑨ 使籍誠不以畜妻子憂飢寒乱心有銭財以済医薬。
といふ「漢文」の『補足構造』を、
⑨ 使【籍誠不以(畜妻子、憂飢寒)乱心有銭財以済医薬)】。
といふ風に、捉へてゐる。
然るに、
(20)
「管到」とは、ある語句がそのあとのどの漢字までかかっているか、という範囲のことである。白文の訓読では、それぞれの漢字の意味や品詞を自分で考え、その漢字が後ろのどこまでかかっているか、考えねばならない。
(加藤徹、白文攻略 漢文ひとり学び、2013年、143頁)
然るに、
(21)
博士課程後期に六年間在学して訓読が達者になった中国の某君があるとき言った。「自分たちは古典を中国音で音読することができる。しかし、往々にして自ら欺くことがあり、助詞などいいかげんに飛ばして読むことがある。しかし日本式の訓読では、「欲」「将」「当」「謂」などの字が、どこまで管到して(かかって)いるか、どの字から上に返って読むか、一字もいいかげんにできず正確に読まなければならない」と、訓読が一字もいやしくしないことに感心していた。これによれば倉石武四郎氏が、訓読は助詞の類を正確に読まないと非難していたが、それは誤りで、訓読こそ中国音で音読するよりも正確な読み方なのである。
(原田種成、私の漢文 講義、1995年、27頁)
従って、
(19)(20)(21)により、
(22)
⑨ 使【籍誠不以(畜妻子、憂飢寒)乱心有銭財以済医薬)】。
といふ『補足構造(管到)』を「把握」しない限り、
⑨ 使籍誠不以畜妻子憂飢寒乱心有銭財以済医薬。
といふ「漢文」を「読めない(理解できない)」といふことに関しては、日本人であっても、中国人であっても、「同じこと」である。
然るに、
(23)
⑨ 使籍誠不以畜妻子憂飢寒乱心有銭財以済医薬。
といふ「漢文」を、
(ⅰ)籍をして誠に妻子を畜ひ飢寒を憂ふるを以て心を乱さず銭財有りて以て医薬を済さ使む。
(ⅱ)Shǐ jí chéng bù yǐ chù qīzi yōu jīhán luànxīn yǒu cái qián yǐ jì yīyào.
(ⅲ)シセキセイフイチクサイシユウキカンランシンユウセンザイイサイイヤク。
を(ⅰ)のやうに「読む」のであれば、『補足構造・管到』を「把握」してゐることになるが、
(ⅱ)のやうに「読ん」だとしても、
(ⅲ)のように「読ん」だとしても、『補足構造・管到』を「把握」してゐるとは、限らない。
加へて、
(24)
今の言語と昔の言語は、お互いにわけのわからない外国語と同じようになっているということです。つまり、今の中国の学者といえども、日本の学者と同じように、古言を理解することは、外国語を理解することと同じくらい、難しいことなのです(山泰幸、江戸の思想闘争、2019年、97頁)。
(25)
自然言語の外国人向けの教科書は、まず「こんにちは!」「ありがとう」のような簡単な言葉(ネイティブスピーカーの子供でもわかる言葉)から入る。いっぽう、漢文は自然言語ではなかった。また「聞いて話す」音声言語ではなく、「読んで書く」ための書記言語である。漢字の習得者だけが、漢文を学習できる。「ネイティブライター」は原理的に存在できない。― 中略 ―、「ネイティブライター」が存在できないという点では、中国人も外国人も平等である(加藤徹 著、白文後略 漢文一人学び、2013年、8・9頁)。
従って、
(23)(24)(25)により、
(26)
「漢文」を読めるようになる上で、「日本語の話者」よりも、「北京語(普通話)の話者」の方が「有利」である。
といふことは、有り得ない。
然るに、
(27)
大学では、これまでなじみのある訓読という方法によらず、現代中国語の知識を前提として、中国語の音によってそのまま読んでいきます。音そのもののひびきの美しさを体得できるよう、古典・現代のいずれに関心がある場合でも、入学後は現代中国語を充分に習得してください(京都大学、文学部受験生向けメッセージ)。
従って、
(26)(27)により、
(28)
私自身は、京都大学による、「現代中国語の知識を前提として、中国語の音によってそのまま読んでいきます。」
といふ「方法」が、「有意義」であるとは、思へない。
令和04年04月02日、毛利太。
2022年4月2日土曜日
2022年3月30日水曜日
女子が隣り合わない並び方。
(01)
『ユウチューブ』を視聴して、「説明」を聞いても『納得できない』ので、
[問題]
女子2人と男子3が1列に並ぶとき、
女子が隣り合わない並び方は「何通り」作れるか(有り得るか)。
という[問題]を、自分自身で、「考察」することにした。
(02)
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Aが、1に入ったら、
女子Bは、2か、3か、4に入る。
ということを、
①1・2
②1・3
③1・4
という風に、表すことにする。
(ⅱ)
1男2男3男4
という「列」に於いて、
女子Aが、2に入ったら、
女子Bは、1か、3か、4に入る。
ということを、
④2・1
⑤2・3
⑥2・4
という風に、表すことにする。
(ⅲ)
1男2男3男4
という「列」に於いて、
女子Aが、3に入ったら、
女子Bは、1か、2か、4に入る。
ということを、
⑦3・1
⑧3・2
⑨3・4
という風に、表すことにする。
(ⅳ)
1男2男3男4
という「列」に於いて、
女子Aが、4に入ったら、
女子Bは、1か、2か、3に入る。
ということを、
⑩4・1
⑪4・2
⑫4・3
という風に、表すことにする。
然るに、
(03)
①1・2⇒A男B男3男4
②1・3⇒A男2男B男4
③1・4⇒A男2男3男B
④2・1⇒B男A男3男4
⑤2・3⇒1男A男B男4
⑥2・4⇒1男A男3男B
⑦3・1⇒B男2男A男4
⑧3・2⇒1男B男A男4
⑨3・4⇒1男2男A男B
⑩4・1⇒B男2男3男A
⑪4・2⇒1男B男3男A
⑫4・3⇒1男2男B男A
という「順番」は、
④2・1⇒B男A男3男4
⑦3・1⇒B男2男A男4
⑩4・1⇒B男2男3男A
①1・2⇒A男B男3男4
⑧3・2⇒1男B男A男4
⑪4・2⇒1男B男3男A
②1・3⇒A男2男B男4
⑤2・3⇒1男A男B男4
⑫4・3⇒1男2男B男A
③1・4⇒A男2男3男B
⑥2・4⇒1男A男3男B
⑨3・4⇒1男2男A男B
という風に、「並び変える」ことが、出来る。
従って、
(02)(03)により、
(04)
例えば、
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Aが、1に入ったら、
女子Bは、2か、3か、4に入る。
という風に「数える」ことは、それと「同時」に、
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Bが、1に入ったら、
女子Aは、2か、3か、4に入る。
という風に「数える」ことに、「等しい」。
従って、
(02)(03)(04)により、
(05)
1男2男3男4
女子Aが、1に入ったら、
に対して、
1男2男3男4
女子Bが、1に入ったら、
ということを、「区別」して「数える」のであれば、その場合は、「1回数えれば」で良いところを、「2回数えて」いることになる。
従って、
(02)~(06)により、
(07)
①1・2⇒A男B男3男4
②1・3⇒A男2男B男4
③1・4⇒A男2男3男B
④2・1⇒B男A男3男4
⑤2・3⇒1男A男B男4
⑥2・4⇒1男A男3男B
⑦3・1⇒B男2男A男4
⑧3・2⇒1男B男A男4
⑨3・4⇒1男2男A男B
⑩4・1⇒B男2男3男A
⑪4・2⇒1男B男3男A
⑫4・3⇒1男2男B男A
に於ける、
「(4×3=12)通リ」という「場合の数」は、
1男2男3男4
に於ける、
1 2 3 4
の「位置」に、
女子Aと、
女子Bが入る場合の、「場合の数」である。
然るに、
(08)
1男2男3男4
に於ける
男 男 男
が並ぶ場合の「場合の数」は、
(3!=3×2×1)通りである。
従って、
(01)(07)(08)により、
(09)
[問題]
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合わない「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、
(4×3)×(3×2×1)=12×6=72通り。
であるに、違いない。
然るに、
(10)
①ABCDE
①ABCED
①ABDCE
①ABDEC
①ABECD
①ABEDC
②ACBDE
②ACBED
②ACDBE
②ACDEB
②ACEBD
②ACEDB
③ADBCE
③ADBEC
③ADCBE
③ADCEB
③ADEBC
③ADECB
④AEBCD
④AEBDC
④AECBD
④AECDB
④AEDBC
④AEDCB
以上で、18通り。
①BACDE
①BACED
①BADCE
①BADEC
①BAECD
①BAEDC
②BCADE
②BCAED
②BCDAE
②BCDEA
②BCEAD
②BCEDA
③BDACE
③BDAEC
③BDCAE
③BDCEA
③BDEAC
③BDECA
④BEACD
④BEADC
④BECAD
④BECDA
④BEDAC
④BEDCA
以上で、18+18=36通り。
①CABDE
①CABED
①CADBE
①CADEB
①CAEBD
①CAEDB
②CBADE
②CBAED
②CBDAE
②CBDEA
②CBEAD
②CBEDA
③CDABE
③CDAEB
③CDBAE
③CDBEA
③CDEAB
③CDEBA
④CEABD
④CEADB
④CEBAD
④CEBDA
④CEDAB
④CEDBA
以上で、18+18+12=48通り。
①DABCE
①DABEC
①DACBE
①DACEB
①DAEBC
①DAECB
②DBACE
②DBAEC
②DBCAE
②DBCEA
②DBEAC
②DBECA
③DCABE
③DCAEB
③DCBAE
③DCBEA
③DCEAB
③DCEBA
④DEABC
④DEACB
④DEBAC
④DEBCA
④DECAB
④DECBA
以上で、18+18+12+12=60通り。
①EABCD
①EABDC
①EACBD
①EACDB
①EADBC
①EADCB
②EBACD
②EBADC
②EBCAD
②EBCDA
②EBDAC
②EBDCA
③ECABD
③ECADB
③ECBAD
③ECBDA
③ECDAB
③ECDBA
④EDABC
④EDACB
④EDBAC
④EDBCA
④EDCAB
④EDCBA
以上で、18+18+12+12+12=72通り。
従って、
(09)(10)により、
(11)
[問題]
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合わない「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、果たして、
(4×3)×(3×2×1)=12×6=72通り。
である。
然るに、
(12)
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
その「並び方」は、
5!=5×4×3×2×1=120通り。
である。
従って、
(11)(12)により、
(13)
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合う「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、
(120-72)=48通り。
である。
従って、
(01)~(13)により、
(14)
1男2男3男4
に於ける、
1の位置で、女子2人(A、B)が隣り合い、
2の位置で、女子2人(A、B)が隣り合い、
3の位置で、女子2人(A、B)が隣り合い、
4の位置で、女子2人(A、B)が隣り合う場合の、「合計の数」が、
(120-72)=12+12+12+12=48通り。
である。
従って、
(14)により、
(15)
1男2男3男4
に於ける、
4の位置で、女子2人(A、B)が隣り合う場合の、「場合の数」は、
(120-72)÷4=12通り。
である。
然るに、
(16)
①ABCDE
①ABCED
①ABDCE
①ABDEC
①ABECD
①ABEDC
②ACBDE
②ACBED
②ACDBE
②ACDEB
②ACEBD
②ACEDB
③ADBCE
③ADBEC
③ADCBE
③ADCEB
③ADEBC
③ADECB
④AEBCD
④AEBDC
④AECBD
④AECDB
④AEDBC
④AEDCB
①BACDE
①BACED
①BADCE
①BADEC
①BAECD
①BAEDC
②BCADE
②BCAED
②BCDAE
②BCDEA
②BCEAD
②BCEDA
③BDACE
③BDAEC
③BDCAE
③BDCEA
③BDEAC
③BDECA
④BEACD
④BEADC
④BECAD
④BECDA
④BEDAC
④BEDCA
①CABDE
①CABED
①CADBE
①CADEB
①CAEBD
①CAEDB
②CBADE
②CBAED
②CBDAE
②CBDEA
②CBEAD
②CBEDA
③CDABE
③CDAEB
③CDBAE
③CDBEA
③CDEAB
③CDEBA
④CEABD
④CEADB
④CEBAD
④CEBDA
④CEDAB
④CEDBA
①DABCE
①DABEC
①DACBE
①DACEB
①DAEBC
①DAECB
②DBACE
②DBAEC
②DBCAE
②DBCEA
②DBEAC
②DBECA
③DCABE
③DCAEB
③DCBAE
③DCBEA
③DCEAB
③DCEBA
④DEABC
④DEACB
④DEBAC
④DEBCA
④DECAB
④DECBA
①EABCD
①EABDC
①EACBD
①EACDB
①EADBC
①EADCB
②EBACD
②EBADC
②EBCAD
②EBCDA
②EBDAC
②EBDCA
③ECABD
③ECADB
③ECBAD
③ECBDA
③ECDAB
③ECDBA
④EDABC
④EDACB
④EDBAC
④EDBCA
④EDCAB
④EDCBA
従って、
(15)(16)により、
(17)
果たして、
1男2男3男4
に於ける、
4の位置で、女子2人(A、B)が隣り合う場合の、「場合の数」は、
(120-72)÷4=12通り。
である。
令和4年03月30日、毛利太。
『ユウチューブ』を視聴して、「説明」を聞いても『納得できない』ので、
[問題]
女子2人と男子3が1列に並ぶとき、
女子が隣り合わない並び方は「何通り」作れるか(有り得るか)。
という[問題]を、自分自身で、「考察」することにした。
(02)
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Aが、1に入ったら、
女子Bは、2か、3か、4に入る。
ということを、
①1・2
②1・3
③1・4
という風に、表すことにする。
(ⅱ)
1男2男3男4
という「列」に於いて、
女子Aが、2に入ったら、
女子Bは、1か、3か、4に入る。
ということを、
④2・1
⑤2・3
⑥2・4
という風に、表すことにする。
(ⅲ)
1男2男3男4
という「列」に於いて、
女子Aが、3に入ったら、
女子Bは、1か、2か、4に入る。
ということを、
⑦3・1
⑧3・2
⑨3・4
という風に、表すことにする。
(ⅳ)
1男2男3男4
という「列」に於いて、
女子Aが、4に入ったら、
女子Bは、1か、2か、3に入る。
ということを、
⑩4・1
⑪4・2
⑫4・3
という風に、表すことにする。
然るに、
(03)
①1・2⇒A男B男3男4
②1・3⇒A男2男B男4
③1・4⇒A男2男3男B
④2・1⇒B男A男3男4
⑤2・3⇒1男A男B男4
⑥2・4⇒1男A男3男B
⑦3・1⇒B男2男A男4
⑧3・2⇒1男B男A男4
⑨3・4⇒1男2男A男B
⑩4・1⇒B男2男3男A
⑪4・2⇒1男B男3男A
⑫4・3⇒1男2男B男A
という「順番」は、
④2・1⇒B男A男3男4
⑦3・1⇒B男2男A男4
⑩4・1⇒B男2男3男A
①1・2⇒A男B男3男4
⑧3・2⇒1男B男A男4
⑪4・2⇒1男B男3男A
②1・3⇒A男2男B男4
⑤2・3⇒1男A男B男4
⑫4・3⇒1男2男B男A
③1・4⇒A男2男3男B
⑥2・4⇒1男A男3男B
⑨3・4⇒1男2男A男B
という風に、「並び変える」ことが、出来る。
従って、
(02)(03)により、
(04)
例えば、
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Aが、1に入ったら、
女子Bは、2か、3か、4に入る。
という風に「数える」ことは、それと「同時」に、
(ⅰ)
1男2男3男4
という「列」に於いて、
女子Bが、1に入ったら、
女子Aは、2か、3か、4に入る。
という風に「数える」ことに、「等しい」。
従って、
(02)(03)(04)により、
(05)
1男2男3男4
女子Aが、1に入ったら、
に対して、
1男2男3男4
女子Bが、1に入ったら、
ということを、「区別」して「数える」のであれば、その場合は、「1回数えれば」で良いところを、「2回数えて」いることになる。
従って、
(02)~(06)により、
(07)
①1・2⇒A男B男3男4
②1・3⇒A男2男B男4
③1・4⇒A男2男3男B
④2・1⇒B男A男3男4
⑤2・3⇒1男A男B男4
⑥2・4⇒1男A男3男B
⑦3・1⇒B男2男A男4
⑧3・2⇒1男B男A男4
⑨3・4⇒1男2男A男B
⑩4・1⇒B男2男3男A
⑪4・2⇒1男B男3男A
⑫4・3⇒1男2男B男A
に於ける、
「(4×3=12)通リ」という「場合の数」は、
1男2男3男4
に於ける、
1 2 3 4
の「位置」に、
女子Aと、
女子Bが入る場合の、「場合の数」である。
然るに、
(08)
1男2男3男4
に於ける
男 男 男
が並ぶ場合の「場合の数」は、
(3!=3×2×1)通りである。
従って、
(01)(07)(08)により、
(09)
[問題]
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合わない「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、
(4×3)×(3×2×1)=12×6=72通り。
であるに、違いない。
然るに、
(10)
①ABCDE
①ABCED
①ABDCE
①ABDEC
①ABECD
①ABEDC
②ACBDE
②ACBED
②ACDBE
②ACDEB
②ACEBD
②ACEDB
③ADBCE
③ADBEC
③ADCBE
③ADCEB
③ADEBC
③ADECB
④AEBCD
④AEBDC
④AECBD
④AECDB
④AEDBC
④AEDCB
以上で、18通り。
①BACDE
①BACED
①BADCE
①BADEC
①BAECD
①BAEDC
②BCADE
②BCAED
②BCDAE
②BCDEA
②BCEAD
②BCEDA
③BDACE
③BDAEC
③BDCAE
③BDCEA
③BDEAC
③BDECA
④BEACD
④BEADC
④BECAD
④BECDA
④BEDAC
④BEDCA
以上で、18+18=36通り。
①CABDE
①CABED
①CADBE
①CADEB
①CAEBD
①CAEDB
②CBADE
②CBAED
②CBDAE
②CBDEA
②CBEAD
②CBEDA
③CDABE
③CDAEB
③CDBAE
③CDBEA
③CDEAB
③CDEBA
④CEABD
④CEADB
④CEBAD
④CEBDA
④CEDAB
④CEDBA
以上で、18+18+12=48通り。
①DABCE
①DABEC
①DACBE
①DACEB
①DAEBC
①DAECB
②DBACE
②DBAEC
②DBCAE
②DBCEA
②DBEAC
②DBECA
③DCABE
③DCAEB
③DCBAE
③DCBEA
③DCEAB
③DCEBA
④DEABC
④DEACB
④DEBAC
④DEBCA
④DECAB
④DECBA
以上で、18+18+12+12=60通り。
①EABCD
①EABDC
①EACBD
①EACDB
①EADBC
①EADCB
②EBACD
②EBADC
②EBCAD
②EBCDA
②EBDAC
②EBDCA
③ECABD
③ECADB
③ECBAD
③ECBDA
③ECDAB
③ECDBA
④EDABC
④EDACB
④EDBAC
④EDBCA
④EDCAB
④EDCBA
以上で、18+18+12+12+12=72通り。
従って、
(09)(10)により、
(11)
[問題]
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合わない「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、果たして、
(4×3)×(3×2×1)=12×6=72通り。
である。
然るに、
(12)
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
その「並び方」は、
5!=5×4×3×2×1=120通り。
である。
従って、
(11)(12)により、
(13)
女子2人(A、B)と男子3人(C、D、E)が1列に並ぶとき、
女子が隣り合う「並び方」は「何通り」作れるか(有り得るか)。
の「答え」は、
(120-72)=48通り。
である。
従って、
(01)~(13)により、
(14)
1男2男3男4
に於ける、
1の位置で、女子2人(A、B)が隣り合い、
2の位置で、女子2人(A、B)が隣り合い、
3の位置で、女子2人(A、B)が隣り合い、
4の位置で、女子2人(A、B)が隣り合う場合の、「合計の数」が、
(120-72)=12+12+12+12=48通り。
である。
従って、
(14)により、
(15)
1男2男3男4
に於ける、
4の位置で、女子2人(A、B)が隣り合う場合の、「場合の数」は、
(120-72)÷4=12通り。
である。
然るに、
(16)
①ABCDE
①ABCED
①ABDCE
①ABDEC
①ABECD
①ABEDC
②ACBDE
②ACBED
②ACDBE
②ACDEB
②ACEBD
②ACEDB
③ADBCE
③ADBEC
③ADCBE
③ADCEB
③ADEBC
③ADECB
④AEBCD
④AEBDC
④AECBD
④AECDB
④AEDBC
④AEDCB
①BACDE
①BACED
①BADCE
①BADEC
①BAECD
①BAEDC
②BCADE
②BCAED
②BCDAE
②BCDEA
②BCEAD
②BCEDA
③BDACE
③BDAEC
③BDCAE
③BDCEA
③BDEAC
③BDECA
④BEACD
④BEADC
④BECAD
④BECDA
④BEDAC
④BEDCA
①CABDE
①CABED
①CADBE
①CADEB
①CAEBD
①CAEDB
②CBADE
②CBAED
②CBDAE
②CBDEA
②CBEAD
②CBEDA
③CDABE
③CDAEB
③CDBAE
③CDBEA
③CDEAB
③CDEBA
④CEABD
④CEADB
④CEBAD
④CEBDA
④CEDAB
④CEDBA
①DABCE
①DABEC
①DACBE
①DACEB
①DAEBC
①DAECB
②DBACE
②DBAEC
②DBCAE
②DBCEA
②DBEAC
②DBECA
③DCABE
③DCAEB
③DCBAE
③DCBEA
③DCEAB
③DCEBA
④DEABC
④DEACB
④DEBAC
④DEBCA
④DECAB
④DECBA
①EABCD
①EABDC
①EACBD
①EACDB
①EADBC
①EADCB
②EBACD
②EBADC
②EBCAD
②EBCDA
②EBDAC
②EBDCA
③ECABD
③ECADB
③ECBAD
③ECBDA
③ECDAB
③ECDBA
④EDABC
④EDACB
④EDBAC
④EDBCA
④EDCAB
④EDCBA
従って、
(15)(16)により、
(17)
果たして、
1男2男3男4
に於ける、
4の位置で、女子2人(A、B)が隣り合う場合の、「場合の数」は、
(120-72)÷4=12通り。
である。
令和4年03月30日、毛利太。
2022年3月29日火曜日
「点滴」をすると「赤血球(の検査結果)」は下降する(Ⅱ)。
(01)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
従って、
(01)により、
(02)
「3P3=3!=3×2×1=6通り」は、
{A、B、C}から{3つを取り出して、並べた}際の「並べ方」である。
従って、
(03)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」、または、「DE」を加へた、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
は、「6×2=12通り」である。
従って、
(01)(02)(03)により、
(04)
{A、B、C}={男、男、男}
{E、D}={女、女}
であるとして、
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「4番と5番」に並ぶ、並び方は何通りか。
といふ「問題」の「答へ」は、「12通り」である。
然るに、
(05)
①ABCDE
②ABCED
に対して、
①ABCDE
①ABDEC
①ADEBC
①DEABC
②ABCED
②ABEDC
②AEDBC
②EDABC
従って、
(03)(04)(05)により、
(06)
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「隣り合う」並び方は何通りか。
といふ「問題」の「答へ」は、「12×4=48通り」である。
然るに、
(07)
①ABCDE ①ABCED ①ABDCE ①ABDEC ①ABECD ①ABEDC ②ACBDE ②ACBED ②ACDBE ②ACDEB ②ACEBD ②ACEDB ③ADBCE ③ADBEC ③ADCBE ③ADCEB ③ADEBC ③ADECB ④AEBCD ④AEBDC ④AECBD ④AECDB ④AEDBC ④AEDCB ①BACDE ①BACED ①BADCE ①BADEC ①BAECD ①BAEDC ②BCADE ②BCAED ②BCDAE ②BCDEA ②BCEAD ②BCEDA ③BDACE ③BDAEC ③BDCAE ③BDCEA ③BDEAC ③BDECA ④BEACD ④BEADC ④BECAD ④BECDA ④BEDAC ④BEDCA ①CABDE ①CABED ①CADBE ①CADEB ①CAEBD ①CAEDB ②CBADE ②CBAED ②CBDAE ②CBDEA ②CBEAD ②CBEDA ③CDABE ③CDAEB ③CDBAE ③CDBEA ③CDEAB ③CDEBA ④CEABD ④CEADB ④CEBAD ④CEBDA ④CEDAB ④CEDBA ①DABCE ①DABEC ①DACBE ①DACEB ①DAEBC ①DAECB ②DBACE ②DBAEC ②DBCAE ②DBCEA ②DBEAC ②DBECA ③DCABE ③DCAEB ③DCBAE ③DCBEA ③DCEAB ③DCEBA ④DEABC ④DEACB ④DEBAC ④DEBCA ④DECAB ④DECBA ①EABCD ①EABDC ①EACBD ①EACDB ①EADBC ①EADCB ②EBACD ②EBADC ②EBCAD ②EBCDA ②EBDAC ②EBDCA ③ECABD ③ECADB ③ECBAD ③ECBDA ③ECDAB ③ECDBA ④EDABC ④EDACB ④EDBAC ④EDBCA ④EDCAB ④EDCBA
従って、
(05)(06)(07)により、
(08)
{A、B、C}={男、男、男}
{E、D}={女、女}
であるとして、
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「4番と5番」に並ぶ、並び方は何通りか。
といふ「問題」の「答へ」は、「12通り」である。
と「同時」に、
女子の2人が「1番と2番」に並ぶ、並び方は何通りか。
女子の2人が「2番と3番」に並ぶ、並び方は何通りか。
女子の2人が「3番と4番」に並ぶ、並び方は何通りか。
女子の2人が「5番と6番」に並ぶ、並び方は何通りか。
といふ「問題」に対する「答へ」は、4つとも、
(5-2)!×2!=(3×2×1)×(2×1)=12通り。
である。
然るに、
(09)
5!=5×4×3×2×1=120通り。
であるため、
男子3人、女子2人が、一列に並ぶ「並び方」は、120通り。
である。
従って、
(08)(09)により、
(10)
男子3人、女子2人が、一列に、「ランダム」に並ぶとき、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
女子の2人が「5番と6番」に並ぶ「確率」。
は、4つとも、
{(5-2)!×2!}÷5!=12÷120=0.1=10%
である。
従って、
(10)により、
(11)
男子3人、女子2人が、一列に、「ランダム」に並ぶとき、
女子の2人が「5番と6番」に並ぶ「確率」。
に「意味」があるとするならば、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
にも「意味」がなければ、ならない。
然るに、
(12)
男子3人は、高校3年生で、
女子2人は、小学1年生である。
とする。
然るに、
(13)
出典:学校保健統計調査
従って、
(11)(12)(13)により、
(14)
男子3人(高校3年生)、
女子2人(小学1年生)が、一列に、「身長順」に並ぶとき、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
女子の2人が「5番と6番」に並ぶ「確率」。
は、「同じ(10%)」になるはずが無い。
従って、
(11)~(14)により、
(15)
男子3人、女子2人が、一列に、「ランダム」に並ぶ際に、
女子の2人が「5番と6番」に並ぶ「確率(は10%である)。
といふことには、「意味」が無いものの、
男子3人(高校3年生)、
女子2人(小学1年生)が、一列に、「身長順」に並ぶとき、
女子の2人が「5番と6番」に並ぶ「確率(が極めて高い)。」
といふことには、「意味」が有る。
然るに、
(16)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
従って、
(01)により、
(02)
「3P3=3!=3×2×1=6通り」は、
{A、B、C}から{3つを取り出して、並べた}際の「並べ方」である。
従って、
(03)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」、または、「DE」を加へた、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
は、「6×2=12通り」である。
従って、
(01)(02)(03)により、
(04)
{A、B、C}={男、男、男}
{E、D}={女、女}
であるとして、
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「4番と5番」に並ぶ、並び方は何通りか。
といふ「問題」の「答へ」は、「12通り」である。
然るに、
(05)
①ABCDE
②ABCED
に対して、
①ABCDE
①ABDEC
①ADEBC
①DEABC
②ABCED
②ABEDC
②AEDBC
②EDABC
従って、
(03)(04)(05)により、
(06)
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「隣り合う」並び方は何通りか。
といふ「問題」の「答へ」は、「12×4=48通り」である。
然るに、
(07)
①ABCDE ①ABCED ①ABDCE ①ABDEC ①ABECD ①ABEDC ②ACBDE ②ACBED ②ACDBE ②ACDEB ②ACEBD ②ACEDB ③ADBCE ③ADBEC ③ADCBE ③ADCEB ③ADEBC ③ADECB ④AEBCD ④AEBDC ④AECBD ④AECDB ④AEDBC ④AEDCB ①BACDE ①BACED ①BADCE ①BADEC ①BAECD ①BAEDC ②BCADE ②BCAED ②BCDAE ②BCDEA ②BCEAD ②BCEDA ③BDACE ③BDAEC ③BDCAE ③BDCEA ③BDEAC ③BDECA ④BEACD ④BEADC ④BECAD ④BECDA ④BEDAC ④BEDCA ①CABDE ①CABED ①CADBE ①CADEB ①CAEBD ①CAEDB ②CBADE ②CBAED ②CBDAE ②CBDEA ②CBEAD ②CBEDA ③CDABE ③CDAEB ③CDBAE ③CDBEA ③CDEAB ③CDEBA ④CEABD ④CEADB ④CEBAD ④CEBDA ④CEDAB ④CEDBA ①DABCE ①DABEC ①DACBE ①DACEB ①DAEBC ①DAECB ②DBACE ②DBAEC ②DBCAE ②DBCEA ②DBEAC ②DBECA ③DCABE ③DCAEB ③DCBAE ③DCBEA ③DCEAB ③DCEBA ④DEABC ④DEACB ④DEBAC ④DEBCA ④DECAB ④DECBA ①EABCD ①EABDC ①EACBD ①EACDB ①EADBC ①EADCB ②EBACD ②EBADC ②EBCAD ②EBCDA ②EBDAC ②EBDCA ③ECABD ③ECADB ③ECBAD ③ECBDA ③ECDAB ③ECDBA ④EDABC ④EDACB ④EDBAC ④EDBCA ④EDCAB ④EDCBA
従って、
(05)(06)(07)により、
(08)
{A、B、C}={男、男、男}
{E、D}={女、女}
であるとして、
男子3人、女子2人が、一列に並ぶとき、
女子の2人が「4番と5番」に並ぶ、並び方は何通りか。
といふ「問題」の「答へ」は、「12通り」である。
と「同時」に、
女子の2人が「1番と2番」に並ぶ、並び方は何通りか。
女子の2人が「2番と3番」に並ぶ、並び方は何通りか。
女子の2人が「3番と4番」に並ぶ、並び方は何通りか。
女子の2人が「5番と6番」に並ぶ、並び方は何通りか。
といふ「問題」に対する「答へ」は、4つとも、
(5-2)!×2!=(3×2×1)×(2×1)=12通り。
である。
然るに、
(09)
5!=5×4×3×2×1=120通り。
であるため、
男子3人、女子2人が、一列に並ぶ「並び方」は、120通り。
である。
従って、
(08)(09)により、
(10)
男子3人、女子2人が、一列に、「ランダム」に並ぶとき、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
女子の2人が「5番と6番」に並ぶ「確率」。
は、4つとも、
{(5-2)!×2!}÷5!=12÷120=0.1=10%
である。
従って、
(10)により、
(11)
男子3人、女子2人が、一列に、「ランダム」に並ぶとき、
女子の2人が「5番と6番」に並ぶ「確率」。
に「意味」があるとするならば、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
にも「意味」がなければ、ならない。
然るに、
(12)
男子3人は、高校3年生で、
女子2人は、小学1年生である。
とする。
然るに、
(13)
出典:学校保健統計調査
従って、
(11)(12)(13)により、
(14)
男子3人(高校3年生)、
女子2人(小学1年生)が、一列に、「身長順」に並ぶとき、
女子の2人が「1番と2番」に並ぶ「確率」。
女子の2人が「2番と3番」に並ぶ「確率」。
女子の2人が「3番と4番」に並ぶ「確率」。
女子の2人が「5番と6番」に並ぶ「確率」。
は、「同じ(10%)」になるはずが無い。
従って、
(11)~(14)により、
(15)
男子3人、女子2人が、一列に、「ランダム」に並ぶ際に、
女子の2人が「5番と6番」に並ぶ「確率(は10%である)。
といふことには、「意味」が無いものの、
男子3人(高校3年生)、
女子2人(小学1年生)が、一列に、「身長順」に並ぶとき、
女子の2人が「5番と6番」に並ぶ「確率(が極めて高い)。」
といふことには、「意味」が有る。
然るに、
(16)
従って、
(16)により、
(17)
『点滴をすると、血液が薄くなり、血液が薄くなると、「赤血球の数値」が低くなる。』
といふ「仮説」を考へてゐる場合には、
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」には、「意味」がある。
然るに、
(10)により、
(18)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、
{(41-5)!×5!}÷41!=(1÷749394)≒0.0000013344(約75万分の1)。
である。
従って、
(18)により、
(19)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、
「0.00014%以下」である。
然るに、
(20)
(18)(19)(20)により、
(21)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、「0.00014%以下」であるが、
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、「数値の大きい順」に並べたところ、
「 5回の血液検査(点滴有り)」の「赤血球の数値」は、 「37番目、38番目、39番目、40番目、41番目」のいづれかになってゐる。
従って、
(17)(21)により、
(22)
『点滴をすると、血液が薄くなり、血液が薄くなると、「赤血球の数値」が低くなる。』
といふ「推定」は「正しい」。
(23)
そもそも統計学という学問は、数学の分野なのだ。
数式を使って理解することが大前提である。
統計学にとって数字や数式は「言語」であり、それなくして理解できないようになっている。
(高橋洋一、図解 統計学(超)入門、2018年、4頁)
従って、
(24)
出来れば、 のやうな「教科書(医学書院、臨床検査技師講座1)」で、『推計学』といふ「数学」を学んだ上で、「医療裁判」に臨みたいものの、『高校数学A』を理解するのがやっとである私には、そのやうなことをしてゐる、「時間的な余裕」がない。
令和04年03月29日、毛利太。
(16)により、
(17)
『点滴をすると、血液が薄くなり、血液が薄くなると、「赤血球の数値」が低くなる。』
といふ「仮説」を考へてゐる場合には、
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」には、「意味」がある。
然るに、
(10)により、
(18)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、
{(41-5)!×5!}÷41!=(1÷749394)≒0.0000013344(約75万分の1)。
である。
従って、
(18)により、
(19)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、
「0.00014%以下」である。
然るに、
(20)
(18)(19)(20)により、
(21)
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、
「ランダム」に並べた場合に、
「 5回の血液検査(点滴有り)」の「赤血球の数値」が、
「37番目、38番目、39番目、40番目、41番目」のいづれかになる場合の「確率」は、「0.00014%以下」であるが、
「36回の血液検査(点滴無し)」の「赤血球の数値」と、
「 5回の血液検査(点滴有り)」の「赤血球の数値」を、「数値の大きい順」に並べたところ、
「 5回の血液検査(点滴有り)」の「赤血球の数値」は、 「37番目、38番目、39番目、40番目、41番目」のいづれかになってゐる。
従って、
(17)(21)により、
(22)
『点滴をすると、血液が薄くなり、血液が薄くなると、「赤血球の数値」が低くなる。』
といふ「推定」は「正しい」。
(23)
そもそも統計学という学問は、数学の分野なのだ。
数式を使って理解することが大前提である。
統計学にとって数字や数式は「言語」であり、それなくして理解できないようになっている。
(高橋洋一、図解 統計学(超)入門、2018年、4頁)
従って、
(24)
出来れば、 のやうな「教科書(医学書院、臨床検査技師講座1)」で、『推計学』といふ「数学」を学んだ上で、「医療裁判」に臨みたいものの、『高校数学A』を理解するのがやっとである私には、そのやうなことをしてゐる、「時間的な余裕」がない。
令和04年03月29日、毛利太。
2022年3月26日土曜日
「点滴」をすると「赤血球(の検査結果)」は下降する。
(01)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
従って、
(01)により、
(02)
{A、B、C}から{3つを取り出して、並べた}際の「並べ方」は、
3P3=3!=3×2×1=6通り。
従って、
(02)により、
(03)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」を加へた、
①ABCED
②ACBED
③BACED
④BCAED
⑤CABED
⑥CBAED
も、「6通り」である。
従って、
(03)により、
(04)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「DE」を加へた、
①ABCDE
②ACBDE
③BACDE
④BCADE
⑤CABDE
⑥CBADE
も、「6通り」である。
従って、
(03)(04)により、
(05)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」、
または、 「DE」を加へた、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
は、「6×2=12通り」である。
然るに、
(06)
{A、B、C、D、E}から{5つを取り出して、並べた}際の「並べ方」は、
「5P5=5!=5×4×3×2×1=120通り」である。
従って、
(05)(06)により、
(07)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
といふ「6×2=12通り」が、含まれてゐる。
然るに、
(08)
ABCDE①
ABCED②
ABDCE
ABDEC
ABECD
ABEDC
ACBDE③
ACBED④
ACDBE
ACDEB
ACEBD
ACEDB
ADBCE
ADBEC
ADCBE
ADCEB
ADEBC
ADECB
AEBCD
AEBDC
AECBD
AECDB
AEDBC
AEDCB
BACDE⑤
BACED⑥
BADCE
BADEC
BAECD
BAEDC
BCADE⑦
BCAED⑧
BCDAE
BCDEA
BCEAD
BCEDA
BDACE
BDAEC
BDCAE
BDCEA
BDEAC
BDECA
BEACD
BEADC
BECAD
BECDA
BEDAC
BEDCA
CABDE⑨
CABED⑩
CADBE
CADEB
CAEBD
CAEDB
CBADE⑪
CBAED⑫
CBDAE
CBDEA
CBEAD
CBEDA
CDABE
CDAEB
CDBAE
CDBEA
CDEAB
CDEBA
CEABD
CEADB
CEBAD
CEBDA
CEDAB
CEDBA
DABCE
DABEC
DACBE
DACEB
DAEBC
DAECB
DBACE
DBAEC
DBCAE
DBCEA
DBEAC
DBECA
DCABE
DCAEB
DCBAE
DCBEA
DCEAB
DCEBA
DEABC
DEACB
DEBAC
DEBCA
DECAB
DECBA
EABCD
EABDC
EACBD
EACDB
EADBC
EADCB
EBACD
EBADC
EBCAD
EBCDA
EBDAC
EBDCA
ECABD
ECADB
ECBAD
ECBDA
ECDAB
ECDBA
EDABC
EDACB
EDBAC
EDBCA
EDCAB
EDCBA
従って、
(07)(08)により、
(09)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、実際に、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
といふ「6×2=12通り」が、含まれてゐる。
従って、
(07)(08)(09)により、
(10)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、
①DECAB
②DECBA
③DCEAB
④DCEBA
⑤EDCAB
⑥EDCBA
⑦ECDAB
⑧ECDBA
⑨CDEAB
⑩CDEBA
⑪CEDAB
⑫CEDBA
といふ「6×2=12通り」が、含まれてゐる。
従って、
(09)(10)により、
(11)
{A、B、C、D、E}から、『ランダム』に、{5つを取り出して、並べた}際に、
{#、#、#、D、E}または、
{#、#、#、E、D}といふ「順番」で並ぶ「確率」は、
{(5-2)!×2!}÷5!=12÷120=0.1
である。
従って、
(11)により、
(12)
{A、B、C、D、E}や、
{ア、イ、ウ、エ、オ}を含む{41個の要素}から、『ランダム』に、{41個を取り出して、並べた}際に、
{#、#、・・・・・・・、ア、イ、ウ、エ、オ}や、
{#、#、・・・・・・・、オ、エ、ウ、イ、ア}といふ「順番」で並ぶ「確率」は、
{(41-5)!×5!}÷41!=(1÷749394)≒0.0000013344(約75万分の1)。
である。
従って、
(12)により、
(13)
{ア、イ、ウ、エ、オ}を含む{41個の要素}から、『ランダム』に、{41個を取り出して、並べた}際に、
{A、B、・・・・・・・、ア、イ、ウ、エ、オ}や、
{F、Q、・・・・・・・、ウ、エ、オ、ア、イ}や、
{R、Z、・・・・・・・、オ、エ、ウ、イ、ア}といふ「順番」で並ぶ「確率」は、 「0.00014%」にも、満たない。
従って、
(14)
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}
を含む{41個の日付}から、『ランダム』に、{41個を取り出して、並べた}際に、
{#、#、・・・・、2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}や、
{#、#、・・・・、2019年1月29日、2019年1月18日、2018年1月26日、2019年1月11日、2019年1月04日}といふ「順番」で並ぶ「確率」は、
「0.00014%」にも、満たない。
然るに、
(15)
従って、
(14)(15)により、
(16)
「0.00014%」にも満たない、「確率」からすれば、
{2012年6月18日}から{2019年1月29日}までの、{41回の血液検査}に於いて、
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}といふ{5回}だけが、
{点滴の最中}であって、尚且つ、
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}といふ{5回}の{数値}が、
{大きい順}に並べた際に、
{37番目、38番目、39番目、40番目、41番目}
である。
といふことは、「単なる偶然」ではあり得ない。
然るに、
(17)
従って、
(19)により、
(20)
従って、
(19)により、
(20)
①「脱水」であるならば、(「点滴」をすれば、「数値は下降する」)。
という風に、鈴木医師は、述べてゐる。
然るに、
(21)
(ⅰ)
1 (1) P→(Q→ R) A
2 (2) Q&~R A
3(3) Q→ R A
2 (4) Q 2&E
23(5) R 34MPP
3(6) ~R 2&E
23(7) R&~R 56&I
2 (8) ~(Q→ R) 37RAA
12 (9)~P 18MTT
1 (ア)(Q&~R)→~P 29CP
(ⅱ)
1 (1) (Q&~R)→~P A
2 (2) P A
2 (3) ~~P 2DN
12 (4)~(Q&~R) 13MTT
5 (5) Q A
6(6) ~R A
56(7) Q&~R 56&I
1256(8)~(Q&~R)&
(Q&~R) 47&I
125 (9) ~~R 68RAA
125 (ア) R 9DN
12 (イ) Q→R 5アCP
1 (ウ)P→(Q→R) 2イCP
従って、
(21)により、
(22)
① P→(Q→R)
②(Q&~R)→~P
に於いて、
①=② は「対偶」である。
従って、
(22)により、
(23)
P=「脱水」である。
Q=「点滴」をする。
R=「数値は下降する」。
とするならば、
① 「脱水」であるならば、(「点滴」をすれば、「数値は下降する」)。
②(「点滴」をしても、「数値が下降しない」)のであれば、「脱水」ではない。
に於いて、 ①=② は、「対偶」である。
然るに、
(24)
従って、
(23)(24)により、
(25)
クレアチニンの、
2019年1月18日から、
2019年1月25日にかけての、
といふ「上昇の原因」が、「脱水」である。
といふことは、有り得ない。
従って、
出来れば、
といふ「教科書」で、『推計学』といふ「数学」を学んだ上で、「医療裁判」に臨みたいものの、『高校数学A』を理解するのがやっとである私には、そのやうなことをしてゐる、「時間的な余裕」はない。
令和04年03月26日、毛利太。
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
従って、
(01)により、
(02)
{A、B、C}から{3つを取り出して、並べた}際の「並べ方」は、
3P3=3!=3×2×1=6通り。
従って、
(02)により、
(03)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」を加へた、
①ABCED
②ACBED
③BACED
④BCAED
⑤CABED
⑥CBAED
も、「6通り」である。
従って、
(03)により、
(04)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「DE」を加へた、
①ABCDE
②ACBDE
③BACDE
④BCADE
⑤CABDE
⑥CBADE
も、「6通り」である。
従って、
(03)(04)により、
(05)
①ABC
②ACB
③BAC
④BCA
⑤CAB
⑥CBA
に対して、「ED」、
または、 「DE」を加へた、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
は、「6×2=12通り」である。
然るに、
(06)
{A、B、C、D、E}から{5つを取り出して、並べた}際の「並べ方」は、
「5P5=5!=5×4×3×2×1=120通り」である。
従って、
(05)(06)により、
(07)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
といふ「6×2=12通り」が、含まれてゐる。
然るに、
(08)
ABCDE①
ABCED②
ABDCE
ABDEC
ABECD
ABEDC
ACBDE③
ACBED④
ACDBE
ACDEB
ACEBD
ACEDB
ADBCE
ADBEC
ADCBE
ADCEB
ADEBC
ADECB
AEBCD
AEBDC
AECBD
AECDB
AEDBC
AEDCB
BACDE⑤
BACED⑥
BADCE
BADEC
BAECD
BAEDC
BCADE⑦
BCAED⑧
BCDAE
BCDEA
BCEAD
BCEDA
BDACE
BDAEC
BDCAE
BDCEA
BDEAC
BDECA
BEACD
BEADC
BECAD
BECDA
BEDAC
BEDCA
CABDE⑨
CABED⑩
CADBE
CADEB
CAEBD
CAEDB
CBADE⑪
CBAED⑫
CBDAE
CBDEA
CBEAD
CBEDA
CDABE
CDAEB
CDBAE
CDBEA
CDEAB
CDEBA
CEABD
CEADB
CEBAD
CEBDA
CEDAB
CEDBA
DABCE
DABEC
DACBE
DACEB
DAEBC
DAECB
DBACE
DBAEC
DBCAE
DBCEA
DBEAC
DBECA
DCABE
DCAEB
DCBAE
DCBEA
DCEAB
DCEBA
DEABC
DEACB
DEBAC
DEBCA
DECAB
DECBA
EABCD
EABDC
EACBD
EACDB
EADBC
EADCB
EBACD
EBADC
EBCAD
EBCDA
EBDAC
EBDCA
ECABD
ECADB
ECBAD
ECBDA
ECDAB
ECDBA
EDABC
EDACB
EDBAC
EDBCA
EDCAB
EDCBA
従って、
(07)(08)により、
(09)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、実際に、
①ABCDE
②ABCED
③ACBDE
④ACBED
⑤BACDE
⑥BACED
⑦BCADE
⑧BCAED
⑨CABDE
⑩CABED
⑪CBADE
⑫CBAED
といふ「6×2=12通り」が、含まれてゐる。
従って、
(07)(08)(09)により、
(10)
{A、B、C、D、E}から{5つを取り出して、並べた}際の、
5P5=5!=5×4×3×2×1=120通り。
の中には、
①DECAB
②DECBA
③DCEAB
④DCEBA
⑤EDCAB
⑥EDCBA
⑦ECDAB
⑧ECDBA
⑨CDEAB
⑩CDEBA
⑪CEDAB
⑫CEDBA
といふ「6×2=12通り」が、含まれてゐる。
従って、
(09)(10)により、
(11)
{A、B、C、D、E}から、『ランダム』に、{5つを取り出して、並べた}際に、
{#、#、#、D、E}または、
{#、#、#、E、D}といふ「順番」で並ぶ「確率」は、
{(5-2)!×2!}÷5!=12÷120=0.1
である。
従って、
(11)により、
(12)
{A、B、C、D、E}や、
{ア、イ、ウ、エ、オ}を含む{41個の要素}から、『ランダム』に、{41個を取り出して、並べた}際に、
{#、#、・・・・・・・、ア、イ、ウ、エ、オ}や、
{#、#、・・・・・・・、オ、エ、ウ、イ、ア}といふ「順番」で並ぶ「確率」は、
{(41-5)!×5!}÷41!=(1÷749394)≒0.0000013344(約75万分の1)。
である。
従って、
(12)により、
(13)
{ア、イ、ウ、エ、オ}を含む{41個の要素}から、『ランダム』に、{41個を取り出して、並べた}際に、
{A、B、・・・・・・・、ア、イ、ウ、エ、オ}や、
{F、Q、・・・・・・・、ウ、エ、オ、ア、イ}や、
{R、Z、・・・・・・・、オ、エ、ウ、イ、ア}といふ「順番」で並ぶ「確率」は、 「0.00014%」にも、満たない。
従って、
(14)
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}
を含む{41個の日付}から、『ランダム』に、{41個を取り出して、並べた}際に、
{#、#、・・・・、2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}や、
{#、#、・・・・、2019年1月29日、2019年1月18日、2018年1月26日、2019年1月11日、2019年1月04日}といふ「順番」で並ぶ「確率」は、
「0.00014%」にも、満たない。
然るに、
(15)
従って、
(14)(15)により、
(16)
「0.00014%」にも満たない、「確率」からすれば、
{2012年6月18日}から{2019年1月29日}までの、{41回の血液検査}に於いて、
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}といふ{5回}だけが、
{点滴の最中}であって、尚且つ、
{2018年1月26日、2019年1月04日、2019年1月11日、2019年1月18日、2019年1月29日}といふ{5回}の{数値}が、
{大きい順}に並べた際に、
{37番目、38番目、39番目、40番目、41番目}
である。
といふことは、「単なる偶然」ではあり得ない。
然るに、
(17)
従って、
(19)により、
(20)
従って、
(19)により、
(20)
①「脱水」であるならば、(「点滴」をすれば、「数値は下降する」)。
という風に、鈴木医師は、述べてゐる。
然るに、
(21)
(ⅰ)
1 (1) P→(Q→ R) A
2 (2) Q&~R A
3(3) Q→ R A
2 (4) Q 2&E
23(5) R 34MPP
3(6) ~R 2&E
23(7) R&~R 56&I
2 (8) ~(Q→ R) 37RAA
12 (9)~P 18MTT
1 (ア)(Q&~R)→~P 29CP
(ⅱ)
1 (1) (Q&~R)→~P A
2 (2) P A
2 (3) ~~P 2DN
12 (4)~(Q&~R) 13MTT
5 (5) Q A
6(6) ~R A
56(7) Q&~R 56&I
1256(8)~(Q&~R)&
(Q&~R) 47&I
125 (9) ~~R 68RAA
125 (ア) R 9DN
12 (イ) Q→R 5アCP
1 (ウ)P→(Q→R) 2イCP
従って、
(21)により、
(22)
① P→(Q→R)
②(Q&~R)→~P
に於いて、
①=② は「対偶」である。
従って、
(22)により、
(23)
P=「脱水」である。
Q=「点滴」をする。
R=「数値は下降する」。
とするならば、
① 「脱水」であるならば、(「点滴」をすれば、「数値は下降する」)。
②(「点滴」をしても、「数値が下降しない」)のであれば、「脱水」ではない。
に於いて、 ①=② は、「対偶」である。
然るに、
(24)
従って、
(23)(24)により、
(25)
クレアチニンの、
2019年1月18日から、
2019年1月25日にかけての、
といふ「上昇の原因」が、「脱水」である。
といふことは、有り得ない。
従って、
(25)により、
(26)
といふ『診断』、すなはち、
2019年1月18日から、
2019年1月25日にかけての、『急性腎不全』の「原因」は「脱水」である。
2019年1月25日にかけての、『急性腎不全』の「原因」は「脱水」である。
といふ『診断』は、『誤診』である。
(26)出来れば、
といふ「教科書」で、『推計学』といふ「数学」を学んだ上で、「医療裁判」に臨みたいものの、『高校数学A』を理解するのがやっとである私には、そのやうなことをしてゐる、「時間的な余裕」はない。
令和04年03月26日、毛利太。
2022年3月15日火曜日
「象といふ動物のクラス」。
(01)
(ⅰ)
1 (1)∀x(象x→動物x) A
1 (2) 象a→動物a 1UE
3(3) 象a A
13(4) 動物a 23MPP
13(5) 象a&動物a 34&I
1 (6) 象a→象a&動物a 35CP
1 (7)∀x(象x→象x&動物x) 6UI
(ⅱ)
1 (1)∀x(象x→象x&動物x) A
1 (2) 象a→象a&動物a 1UE
3(3) 象a A
13(4) 象a&動物a 23MPP
13(5) 動物a 4&E
1 (6) 象a→動物a 35CP
1 (7)∀x(象x→動物x) 1UI
従って、
(01)により、
(02)
① ∀x(象x→動物x)
② ∀x(象x→象x&動物x)
に於いて、
①=② である。
従って、
(02)により、
(03)
① すべてのxについて(xが象であるならば、xは動物である)。
② すべてのxについて(xが象であるならば、xは象であって、xは動物である)。
に於いて、
①=② である。
従って、
(03)により、
(04)
① 象は、動物である。
② 象は、象といふ動物である。
に於いて、
①=② である。
然るに、
(05)
③ 象
④ 象といふ動物
に於いて、
③=④ であるに、違ひない。
然るに、
(02)により、
(06)
① ∀x(象x→~動物x)
② ∀x(象x→象x&~動物x)
に於いて、
①=② である。
従って、
(04)(05)(06)により、
(07)
「象のクラス」が、「動物のクラスのメンバー」であるならば、そのときに限って、
「象のクラス」は、「象といふ動物のクラス」に、等しい。
然るに、
(08)
「象のクラス」以外にも、例へば、「ライオンのクラス」も、「動物のクラスのメンバー」である。
従って、
(08)により、
(09)
「動物のクラス」は、「象のクラス」よりも、「大きい」。
従って、
(07)(08)(09)により、
(10)
「象といふ動物のクラス」は、「動物のクラス」よりも、「小さい」。
従って、
(07)(10)により、
(11)
「内包」が「増へる」と、場合によっては、「クラス」は、「縮小」する。
令和04年03月15日、毛利太。
(ⅰ)
1 (1)∀x(象x→動物x) A
1 (2) 象a→動物a 1UE
3(3) 象a A
13(4) 動物a 23MPP
13(5) 象a&動物a 34&I
1 (6) 象a→象a&動物a 35CP
1 (7)∀x(象x→象x&動物x) 6UI
(ⅱ)
1 (1)∀x(象x→象x&動物x) A
1 (2) 象a→象a&動物a 1UE
3(3) 象a A
13(4) 象a&動物a 23MPP
13(5) 動物a 4&E
1 (6) 象a→動物a 35CP
1 (7)∀x(象x→動物x) 1UI
従って、
(01)により、
(02)
① ∀x(象x→動物x)
② ∀x(象x→象x&動物x)
に於いて、
①=② である。
従って、
(02)により、
(03)
① すべてのxについて(xが象であるならば、xは動物である)。
② すべてのxについて(xが象であるならば、xは象であって、xは動物である)。
に於いて、
①=② である。
従って、
(03)により、
(04)
① 象は、動物である。
② 象は、象といふ動物である。
に於いて、
①=② である。
然るに、
(05)
③ 象
④ 象といふ動物
に於いて、
③=④ であるに、違ひない。
然るに、
(02)により、
(06)
① ∀x(象x→~動物x)
② ∀x(象x→象x&~動物x)
に於いて、
①=② である。
従って、
(04)(05)(06)により、
(07)
「象のクラス」が、「動物のクラスのメンバー」であるならば、そのときに限って、
「象のクラス」は、「象といふ動物のクラス」に、等しい。
然るに、
(08)
「象のクラス」以外にも、例へば、「ライオンのクラス」も、「動物のクラスのメンバー」である。
従って、
(08)により、
(09)
「動物のクラス」は、「象のクラス」よりも、「大きい」。
従って、
(07)(08)(09)により、
(10)
「象といふ動物のクラス」は、「動物のクラス」よりも、「小さい」。
従って、
(07)(10)により、
(11)
「内包」が「増へる」と、場合によっては、「クラス」は、「縮小」する。
令和04年03月15日、毛利太。
2022年3月12日土曜日
「論理」と「集合(クラス)」の「類似性」。
(01)
①(集合Aが集合Bの部分集合である)ならば、そのときに限って(集合Aと集合Bの和集合は、集合Bに等しい)。
②(集合Aが集合Bの部分集合である)ならば、そのときに限って(集合Aと集合Bの積集合は、集合Aに等しい)。
といふ「命題」は、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」で、表すことが出来る。
然るに、
(02)
A=xは集合Aの要素である(x∈A)。
B=xは集合Bの要素である(x∈B)。
A∨B=xは集合Aの要素であるか、または、xは集合Bの要素である(x∈A∨x∈B)。
A&B=xは集合Aの要素であって、その上、xは集合Bの要素である(x∈A∨x∈B)。
A→B=xが集合Aの要素であるならば、 xは集合Bの要素である(x∈A→x∈B)。
とするならば、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」は、
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理の式」に、「相当」する。
然るに、
(03)
(ⅰ)
1 (1) A→B 仮定
2 (2) A∨B 仮定
3 (3) A 仮定
1 3 (4) B 13MPP
5 (5) B 仮定
12 (6) B 23455∨E
1 (7) A∨B→B 26CP
8 (8) B 仮定
8 (9) A∨B 8∨I
(ア) B→A∨B 89CP
1 (イ)(A∨B→B)&
(B→A∨B) 7ア&I
1 (ウ) A∨B⇔B イDf.⇔
(エ)(A→B)→(A∨B⇔B) 1ウCP
オ (オ) A∨B⇔B 仮定
オ (カ)(A∨B→B)&
(B→A∨B) オDf.⇔
オ (キ) A∨B→B カ&E
ク(ク) A 仮定
ク(ケ) A∨B ク∨I
オク(コ) B キケMPP
オ (サ) A→B クコCP
(シ)(A∨B⇔B)→(A→B) オサCP
(ス)(A→B)→(A∨B⇔B)&
(A∨B⇔B)→(A→B) エシ&I
(セ)(A→B)⇔(A∨B⇔B) スDf.⇔
(ⅱ)
1 (1) A→B 仮定
2 (2) A&B 仮定
2 (3) B 2&E
(4) A&B→B 23CP
5 (5) A A
1 5 (6) B 15MPP
1 5 (7) A&B 56&I
1 (8) A→A&B 57CP
1 (9)(A&B→A)&
(A→A&B) 49&I
1 (ア) A&B⇔A 9Df.⇔
(イ)(A→B)→(A&B⇔A) 1アCP
ウ (ウ)(A&B⇔A) 仮定
ウ (エ)(A&B→A)&
(A→A&B) ウDf.⇔
ウ (オ) A→A&B エ&E
カ(カ) A A
ウカ(キ) A&B オカMPP
ウカ(ク) B キ&E
ウ (ケ) A→B カクCP
(コ)(A&B⇔A)→(A→B) ウケCP
(サ)(A→B)→(A&B⇔A)&
(A&B⇔A)→(A→B) イコ&I
(シ)(A→B)⇔(A&B⇔A) サDf.⇔
従って、
(03)により、
(04)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」に於いて、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」である。
従って、
(01)~(04)により、
(05)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」に於いて、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」であるが故に、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」に於いても、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」であるに、違ひない。
然るに、
(06)
練習2 A⊆B⇔A∪B=B,また、A⊆B⇔A∩B=A を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、13頁)
然るに、
(05)(06)により、
(07)
「証明せよ」といふ「練習問題」がある以上、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」は、二つとも、「恒真式(トートロジー)」である。
然るに、
(08)
「集合はクラスの特別の種類のものであると解釈される(E.J.レモン著、石橋新・高橋敬吾 訳、公理的集合論入門、1972年、序論)。」
「実際、その第一の段階において、クラスの理論は命題計算よりも難しいものではなく、また、以下に見られる通り、それは密接な類似性をもっている(E.J.レモン著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、259頁)。」
従って、
(05)~(08)により、
(09)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」と、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合(クラス)の式」には、「密接な類似性(close resemblance)」がある。
然るに、
(10)
因みに、
(a)「E.J.レモン著、石橋新・高橋敬吾 訳、公理的集合論入門、1972年」
(b)「E.J.レモン著、竹尾治一郎・浅野楢英 訳、論理学初歩、 1973年」
を「比較」すると、私にとっては、
(a)の方が、「格段に難しい」。
(11)
「高校数学」で「集合」と言へば、『ベン図』であるが、
「E.J.レモン著、公理的集合論入門、1972年」には、『ベン図』は、全く登場しない。
(12)
例題1 分配法則 (A∪B)∩C=(A∩C)∪(B∩C) を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、12頁)
の「解答」は、
といふやうな『ベン図』で示される。
①(集合Aが集合Bの部分集合である)ならば、そのときに限って(集合Aと集合Bの和集合は、集合Bに等しい)。
②(集合Aが集合Bの部分集合である)ならば、そのときに限って(集合Aと集合Bの積集合は、集合Aに等しい)。
といふ「命題」は、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」で、表すことが出来る。
然るに、
(02)
A=xは集合Aの要素である(x∈A)。
B=xは集合Bの要素である(x∈B)。
A∨B=xは集合Aの要素であるか、または、xは集合Bの要素である(x∈A∨x∈B)。
A&B=xは集合Aの要素であって、その上、xは集合Bの要素である(x∈A∨x∈B)。
A→B=xが集合Aの要素であるならば、 xは集合Bの要素である(x∈A→x∈B)。
とするならば、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」は、
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理の式」に、「相当」する。
然るに、
(03)
(ⅰ)
1 (1) A→B 仮定
2 (2) A∨B 仮定
3 (3) A 仮定
1 3 (4) B 13MPP
5 (5) B 仮定
12 (6) B 23455∨E
1 (7) A∨B→B 26CP
8 (8) B 仮定
8 (9) A∨B 8∨I
(ア) B→A∨B 89CP
1 (イ)(A∨B→B)&
(B→A∨B) 7ア&I
1 (ウ) A∨B⇔B イDf.⇔
(エ)(A→B)→(A∨B⇔B) 1ウCP
オ (オ) A∨B⇔B 仮定
オ (カ)(A∨B→B)&
(B→A∨B) オDf.⇔
オ (キ) A∨B→B カ&E
ク(ク) A 仮定
ク(ケ) A∨B ク∨I
オク(コ) B キケMPP
オ (サ) A→B クコCP
(シ)(A∨B⇔B)→(A→B) オサCP
(ス)(A→B)→(A∨B⇔B)&
(A∨B⇔B)→(A→B) エシ&I
(セ)(A→B)⇔(A∨B⇔B) スDf.⇔
(ⅱ)
1 (1) A→B 仮定
2 (2) A&B 仮定
2 (3) B 2&E
(4) A&B→B 23CP
5 (5) A A
1 5 (6) B 15MPP
1 5 (7) A&B 56&I
1 (8) A→A&B 57CP
1 (9)(A&B→A)&
(A→A&B) 49&I
1 (ア) A&B⇔A 9Df.⇔
(イ)(A→B)→(A&B⇔A) 1アCP
ウ (ウ)(A&B⇔A) 仮定
ウ (エ)(A&B→A)&
(A→A&B) ウDf.⇔
ウ (オ) A→A&B エ&E
カ(カ) A A
ウカ(キ) A&B オカMPP
ウカ(ク) B キ&E
ウ (ケ) A→B カクCP
(コ)(A&B⇔A)→(A→B) ウケCP
(サ)(A→B)→(A&B⇔A)&
(A&B⇔A)→(A→B) イコ&I
(シ)(A→B)⇔(A&B⇔A) サDf.⇔
従って、
(03)により、
(04)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」に於いて、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」である。
従って、
(01)~(04)により、
(05)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」に於いて、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」であるが故に、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」に於いても、
① は「恒真式(トートロジー)」であって、
② も「恒真式(トートロジー)」であるに、違ひない。
然るに、
(06)
練習2 A⊆B⇔A∪B=B,また、A⊆B⇔A∩B=A を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、13頁)
然るに、
(05)(06)により、
(07)
「証明せよ」といふ「練習問題」がある以上、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合の式」は、二つとも、「恒真式(トートロジー)」である。
然るに、
(08)
「集合はクラスの特別の種類のものであると解釈される(E.J.レモン著、石橋新・高橋敬吾 訳、公理的集合論入門、1972年、序論)。」
「実際、その第一の段階において、クラスの理論は命題計算よりも難しいものではなく、また、以下に見られる通り、それは密接な類似性をもっている(E.J.レモン著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、259頁)。」
従って、
(05)~(08)により、
(09)
①(A→B)⇔(A∨B⇔B)
②(A→B)⇔(A&B⇔A)
といふ「命題論理式」と、
①(A⊆B)⇔(A∪B=B)
②(A⊆B)⇔(A∩B=A)
といふ「集合(クラス)の式」には、「密接な類似性(close resemblance)」がある。
然るに、
(10)
因みに、
(a)「E.J.レモン著、石橋新・高橋敬吾 訳、公理的集合論入門、1972年」
(b)「E.J.レモン著、竹尾治一郎・浅野楢英 訳、論理学初歩、 1973年」
を「比較」すると、私にとっては、
(a)の方が、「格段に難しい」。
(11)
「高校数学」で「集合」と言へば、『ベン図』であるが、
「E.J.レモン著、公理的集合論入門、1972年」には、『ベン図』は、全く登場しない。
(12)
例題1 分配法則 (A∪B)∩C=(A∩C)∪(B∩C) を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、12頁)
の「解答」は、
といふやうな『ベン図』で示される。
然るに、
(13)
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「集合の式」を、
(A∨B)&C⇔(A&C)∨(B&C)
と書くと、「見た瞬間に、そんなの当然」である。
cf.
(ⅰ)
1 (1)(A∨B)&C 仮定
1 (2) A∨B 1&E
1 (3) C 1&E
4 (4) A 仮定
14 (5) A&C 34&I
14 (6)(A&C)∨(B&C) 5∨I
7(7) B 仮定
1 7(8) B&C 37&I
1 7(9)(A&C)∨(B&C) 8∨I
1 (ア)(A&C)∨(B&C) 24679∨E
(ⅱ)
1 (1)(A&C)∨(B&C) 仮定
2 (2)(A&C) 仮定
2 (3) A 2&E
2 (4) A∨B 3∨I
2 (5) C 2&E
2 (6)(A∨B)&C 45&E
7(7) B&C 仮定
7(8) B 7&E
7(9) A∨B 8∨I
7(ア) C 7&E
7(イ) (A∨B)&C 9ア&I
1 (ウ)(A∨B)&C 1267イ∨E
従って、
(09)~(13)により、
(14)
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「集合の式」を、
(A∨B)&C⇔(A&C)∨(B&C)
といふ「命題論理の式」は、「密接な類似性(close resemblance)」があるため、
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「等式(集合の分配法則)」を「証明」する際に、『ベン図』は「不要」である。
(16)
「数学」⇒「論理」⇒「集合」。
といふ「連想」からすると、
「集合論は、数学者によって、さぞかし重んじられてゐるのだらう。」
と思ってゐたものの、
(13)
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「集合の式」を、
(A∨B)&C⇔(A&C)∨(B&C)
と書くと、「見た瞬間に、そんなの当然」である。
cf.
(ⅰ)
1 (1)(A∨B)&C 仮定
1 (2) A∨B 1&E
1 (3) C 1&E
4 (4) A 仮定
14 (5) A&C 34&I
14 (6)(A&C)∨(B&C) 5∨I
7(7) B 仮定
1 7(8) B&C 37&I
1 7(9)(A&C)∨(B&C) 8∨I
1 (ア)(A&C)∨(B&C) 24679∨E
(ⅱ)
1 (1)(A&C)∨(B&C) 仮定
2 (2)(A&C) 仮定
2 (3) A 2&E
2 (4) A∨B 3∨I
2 (5) C 2&E
2 (6)(A∨B)&C 45&E
7(7) B&C 仮定
7(8) B 7&E
7(9) A∨B 8∨I
7(ア) C 7&E
7(イ) (A∨B)&C 9ア&I
1 (ウ)(A∨B)&C 1267イ∨E
従って、
(09)~(13)により、
(14)
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「集合の式」を、
(A∨B)&C⇔(A&C)∨(B&C)
といふ「命題論理の式」は、「密接な類似性(close resemblance)」があるため、
(A∪B)∩C=(A∩C)∪(B∩C)
といふ「等式(集合の分配法則)」を「証明」する際に、『ベン図』は「不要」である。
(16)
「数学」⇒「論理」⇒「集合」。
といふ「連想」からすると、
「集合論は、数学者によって、さぞかし重んじられてゐるのだらう。」
と思ってゐたものの、
(謎の数学者【アメリカ大学准教授の数学チャンネル】)
とのことである。
令和04年03月12日、毛利太。
令和04年03月12日、毛利太。
2022年3月11日金曜日
「チャート式 基礎からの確率・統計、練習2」
(01)
練習2 A⊆B⇔A∪B=B,また、A⊆B⇔A∩B=A を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、13頁)
然るに、
(02)
「練習略解」は「分かり難い」ため、
「命題計算」で『証明』することにした。
然るに、
(03)
(ⅰ)
1 (1) A→B 仮定
2 (2) A∨B 仮定
3 (3) A 仮定
1 3 (4) B 13MPP
5 (5) B 仮定
12 (6) B 23455∨E
1 (7) A∨B→B 26CP
8(8) B A
8(9) A∨B 8∨I
(ア) B→A∨B 89CP
1 (イ)(A∨B→B)&
(B→A∨B) 7ア&I
1 (ウ) A∨B⇔B イDf.⇔
(ⅱ)
1 (1) A∨B⇔B 仮定
1 (2)(A∨B→B)&
(B→A∨B) 1Df.⇔
1 (3) A∨B→B 2&E
4 (4) A 仮定
4 (5) A∨B 4∨I
14 (6) B 35MPP
1 (7) A→B 46CP
(ⅲ)
1 (1) A→B 仮定
2 (2) A&B 仮定
2 (3) A 2&E
(4) A&B→A 23CP
5(5) A A
1 5(6) B 15MPP
1 5(7) A&B 56&I
1 (8) A→A&B 57CP
1 (9)(A&B→A)&
(A→A&B) 48&I
1 (ア) A&B⇔A 9Df.⇔
(ⅳ)
1 (1) A&B⇔A A
1 (2)(A&B→A)&
(A→A&B) 1Df.⇔
1 (3) A→A&B 2&E
4(4) A A
14(5) A&B 34MPP
14(6) B 5&E
1 (7) A→B 46CP
従って、
(03)により、
(04)
「命題論理」の「言葉(記号)」で書くと、
① A→B
② A∨B⇔B
③ A→B
④ A&B⇔A
に於いて、
①=② であって、
③=④ である。
従って、
(04)により、
(05)
「集合」の「言葉(記号)」で書くと、
① A⊆B
② A∪B=B
③ A∩B=A
に於いて、
①=②=③ である。
令和04年03月11日、毛利太。
練習2 A⊆B⇔A∪B=B,また、A⊆B⇔A∩B=A を証明せよ。
(数研出版、チャート式 基礎からの確率・統計、初版 昭和42年、13頁)
然るに、
(02)
「練習略解」は「分かり難い」ため、
「命題計算」で『証明』することにした。
然るに、
(03)
(ⅰ)
1 (1) A→B 仮定
2 (2) A∨B 仮定
3 (3) A 仮定
1 3 (4) B 13MPP
5 (5) B 仮定
12 (6) B 23455∨E
1 (7) A∨B→B 26CP
8(8) B A
8(9) A∨B 8∨I
(ア) B→A∨B 89CP
1 (イ)(A∨B→B)&
(B→A∨B) 7ア&I
1 (ウ) A∨B⇔B イDf.⇔
(ⅱ)
1 (1) A∨B⇔B 仮定
1 (2)(A∨B→B)&
(B→A∨B) 1Df.⇔
1 (3) A∨B→B 2&E
4 (4) A 仮定
4 (5) A∨B 4∨I
14 (6) B 35MPP
1 (7) A→B 46CP
(ⅲ)
1 (1) A→B 仮定
2 (2) A&B 仮定
2 (3) A 2&E
(4) A&B→A 23CP
5(5) A A
1 5(6) B 15MPP
1 5(7) A&B 56&I
1 (8) A→A&B 57CP
1 (9)(A&B→A)&
(A→A&B) 48&I
1 (ア) A&B⇔A 9Df.⇔
(ⅳ)
1 (1) A&B⇔A A
1 (2)(A&B→A)&
(A→A&B) 1Df.⇔
1 (3) A→A&B 2&E
4(4) A A
14(5) A&B 34MPP
14(6) B 5&E
1 (7) A→B 46CP
従って、
(03)により、
(04)
「命題論理」の「言葉(記号)」で書くと、
① A→B
② A∨B⇔B
③ A→B
④ A&B⇔A
に於いて、
①=② であって、
③=④ である。
従って、
(04)により、
(05)
「集合」の「言葉(記号)」で書くと、
① A⊆B
② A∪B=B
③ A∩B=A
に於いて、
①=②=③ である。
令和04年03月11日、毛利太。
2022年3月8日火曜日
「述語論理」の「よくある間違い」についての「難解な証明」。
(01)
「すべてのフランス人は寛大である」は一種の条件文として適切に記号化されるので、これに同化してしまって、
「幾らかのフランス人は寛大である」を、正しく「∃x(Fx&Gx)」と記号化するかわりに、
「∃x(Fx→Gx)」とするのは、よくある間違いである。しかし、「∃x(Fx→Gx)」は、
「それがフランス人であるならば、寛大であるようなものが存在する」ことを主張するのであって、
「これは、かりにフランス人が存在しない」としても「真」であろう。しかるに、
「幾らかのフランス人は寛大である」はそうではない。
(E.j.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、123・124頁)
然るに、
(02)
1(1)~∃x(Fx) A
1(2)∀x(~Fx) 1量化子の関係
1(3) ~Fa 1UE
1(4)∃x(~Fx) 2EI
1(5)∃x(~Fx)∨∃x(Gx) 3∨I
従って、
(02)により、
(03)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
といふ「連式」は「妥当」である。
然るに、
(04)
(ⅱ)
1 (1)∃x(~Fx)∨∃x(Gx) A
2 (2)∃x(~Fx) A
3 (3) ~Fa A
3 (4) ~Fa∨Ga 3∨I
3 (5) Fa→Ga 4含意の定義
3 (6) ∃x(Fx→Gx) 3EI
2 (7) ∃x(Fx→Gx) 236EE
8 (8) ∃x(Gx) A
9(9) Ga A
9(ア) ~Fa∨Ga 9∨I
9(イ) Fa→Ga ア含意の定義
9(ウ) ∃x(Fx→Gx) イEI
8 (エ) ∃x(Fx→Gx) 89ウEE
1 (オ) ∃x(Fx→Gx) 1278エ∨E
(ⅲ)
1 (1) ∃x(Fx→Gx) A
2 (2) Fa→Ga A
3 (3) ∀x(Fx) A
3 (4) Fa 3UE
23 (5) Ga A
23 (6) ∃x(Gx) 5EI
2 (7) ∀x(Fx)→∃x(Gx) 36CP
2 (8)~∀x(Fx)∨∃x(Gx) 7含意の定義
9 (9)~∀x(Fx) A
9 (ア)∃x(~Fx) 9含意の定義
9 (イ)∃x(~Fx)∨∃x(Gx) ア∨I
ウ(ウ) ∃x(Gx) A
ウ(エ)∃x(~Fx)∨∃x(Gx) ウ∨I
2 (オ)∃x(~Fx)∨∃x(Gx) 29イウエ∨E
1 (カ)∃x(~Fx)∨∃x(Gx) 12オEE
従って、
(04)により、
(05)
② ∃x(~Fx)∨∃x(Gx)
③ ∃x(Fx→Gx)
に於いて、
②=③ である。
従って、
(03)(04)(05)により、
(06)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
に於いて、
①=② であって、尚且つ、
① は「妥当」である。
従って、
(06)により、
(07)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
といふ「連式」は、両方とも「妥当」である。
従って、
(01)(07)により、
(08)
② ~∃x(Fx)├ ∃x(Fx→Gx)
といふ「連式」、すなはち、
② フランス人であるxは存在しない。故に、∃x(Fx→Gx)
といふ「連式」は、「妥当」である。
従って、
(01)(08)により、
(09)
「∃x(Fx→Gx)」とするのは、よくある間違いである。しかし、「∃x(Fx→Gx)」は、
「それがフランス人であるならば、寛大であるようなものが存在する」ことを主張するのであって、
「これは、かりにフランス人が存在しない」としても「真」であろう。
といふ、『E.J.レモンの説明』は、確かに、「正しい」。
然るに、
(10)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
に於いて、
①=② である。
といふことは、「述語論理」を学び始めたばかりの初学者には「理解できない」。
然るに、
(11)
「証明」とは、「相手にも分かるように、説明すること」である。
従って、
(02)~(11)により、
(12)
「∃x(Fx→Gx)」に関する、
「以上のやうな説明」は、「証明」であるとは、言へない(!?)。
令和04年03月8日、毛利太。
「すべてのフランス人は寛大である」は一種の条件文として適切に記号化されるので、これに同化してしまって、
「幾らかのフランス人は寛大である」を、正しく「∃x(Fx&Gx)」と記号化するかわりに、
「∃x(Fx→Gx)」とするのは、よくある間違いである。しかし、「∃x(Fx→Gx)」は、
「それがフランス人であるならば、寛大であるようなものが存在する」ことを主張するのであって、
「これは、かりにフランス人が存在しない」としても「真」であろう。しかるに、
「幾らかのフランス人は寛大である」はそうではない。
(E.j.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、123・124頁)
然るに、
(02)
1(1)~∃x(Fx) A
1(2)∀x(~Fx) 1量化子の関係
1(3) ~Fa 1UE
1(4)∃x(~Fx) 2EI
1(5)∃x(~Fx)∨∃x(Gx) 3∨I
従って、
(02)により、
(03)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
といふ「連式」は「妥当」である。
然るに、
(04)
(ⅱ)
1 (1)∃x(~Fx)∨∃x(Gx) A
2 (2)∃x(~Fx) A
3 (3) ~Fa A
3 (4) ~Fa∨Ga 3∨I
3 (5) Fa→Ga 4含意の定義
3 (6) ∃x(Fx→Gx) 3EI
2 (7) ∃x(Fx→Gx) 236EE
8 (8) ∃x(Gx) A
9(9) Ga A
9(ア) ~Fa∨Ga 9∨I
9(イ) Fa→Ga ア含意の定義
9(ウ) ∃x(Fx→Gx) イEI
8 (エ) ∃x(Fx→Gx) 89ウEE
1 (オ) ∃x(Fx→Gx) 1278エ∨E
(ⅲ)
1 (1) ∃x(Fx→Gx) A
2 (2) Fa→Ga A
3 (3) ∀x(Fx) A
3 (4) Fa 3UE
23 (5) Ga A
23 (6) ∃x(Gx) 5EI
2 (7) ∀x(Fx)→∃x(Gx) 36CP
2 (8)~∀x(Fx)∨∃x(Gx) 7含意の定義
9 (9)~∀x(Fx) A
9 (ア)∃x(~Fx) 9含意の定義
9 (イ)∃x(~Fx)∨∃x(Gx) ア∨I
ウ(ウ) ∃x(Gx) A
ウ(エ)∃x(~Fx)∨∃x(Gx) ウ∨I
2 (オ)∃x(~Fx)∨∃x(Gx) 29イウエ∨E
1 (カ)∃x(~Fx)∨∃x(Gx) 12オEE
従って、
(04)により、
(05)
② ∃x(~Fx)∨∃x(Gx)
③ ∃x(Fx→Gx)
に於いて、
②=③ である。
従って、
(03)(04)(05)により、
(06)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
に於いて、
①=② であって、尚且つ、
① は「妥当」である。
従って、
(06)により、
(07)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
といふ「連式」は、両方とも「妥当」である。
従って、
(01)(07)により、
(08)
② ~∃x(Fx)├ ∃x(Fx→Gx)
といふ「連式」、すなはち、
② フランス人であるxは存在しない。故に、∃x(Fx→Gx)
といふ「連式」は、「妥当」である。
従って、
(01)(08)により、
(09)
「∃x(Fx→Gx)」とするのは、よくある間違いである。しかし、「∃x(Fx→Gx)」は、
「それがフランス人であるならば、寛大であるようなものが存在する」ことを主張するのであって、
「これは、かりにフランス人が存在しない」としても「真」であろう。
といふ、『E.J.レモンの説明』は、確かに、「正しい」。
然るに、
(10)
① ~∃x(Fx)├ ∃x(~Fx)∨∃x(Gx)
② ~∃x(Fx)├ ∃x(Fx→Gx)
に於いて、
①=② である。
といふことは、「述語論理」を学び始めたばかりの初学者には「理解できない」。
然るに、
(11)
「証明」とは、「相手にも分かるように、説明すること」である。
従って、
(02)~(11)により、
(12)
「∃x(Fx→Gx)」に関する、
「以上のやうな説明」は、「証明」であるとは、言へない(!?)。
令和04年03月8日、毛利太。
登録:
投稿 (Atom)