（01）
① 君子於其所不知、蓋蓋闕如也＝
① 君子於二其所一レ不レ知、蓋闕如也＝
① 君子於［其所〔不（知）〕］、蓋闕如也⇒
① 君子於［其〔（知）不〕所］、蓋闕如也＝
① 君子は［其の〔（知ら）不る〕所に］於いて、蓋し闕如す。
然るに、
（02）
君子於其所不知、蓋蓋闕如也。
君子は自分のわからないことではだまっているものだ。
（金谷治 訳注、論語、1963年、２４９頁）
然るに、
（03）
其 そノ そレ
［指示形容詞］《人・物・事などを指し、単数・複数のどちらをも指す》
① 連体修飾格
（ⅱ）〈人を指し、主語と一致する場合〉「自分の」
（天野成之、漢文基本語辞典、1999年、７５頁）
従って、
（01）（02）（03）により、
（04）
① 君子於［其所〔不（知）〕］、蓋闕如也⇒
① 君子於［其〔（知）不〕所］、蓋闕如也＝
① 君子は［其の〔（知ら）不る〕所に］於いて、蓋し闕如す。
に於いて、
① 其の＝自分の
である。
然るに、
（05）
② 君子不以其所以養人者害人＝
② 君子不乙以下其所二以 養一レ人者上害甲レ人＝
② 君子不｛以［其所－以〔養（人）〕者］害（人）｝⇒
② 君子｛［其〔（人）養〕所－以者］以（人）害｝不＝
② 君子は｛［其の〔（人を）養ふ〕所－以の者を］以て（人を）害せ｝ず。
従って、
（04）（05）により、
（06）
② 君子不｛以［其所－以〔養（人）〕者］害（人）｝⇒
② 君子｛［其〔（人）養〕所－以者］以（人）害｝不＝
② 君子は｛［其の〔（人を）養ふ〕所－以の者を］以て（人を）害せ｝ず。
に於いても、
② 其の＝自分の
である。
然るに、
（07）
君子不以其所以養人者害人
君子は人間が生きてゆく手段である土地が惜しさに争って、大切な人間そのものを犠牲にはしないものだ。
（小林勝人 訳注、孟子 上、1968年、１０４頁）
従って、
（07）により、
（08）
② 所以養人者＝
② 人間が生きてゆく手段＝
② 土地
である。
然るに、
（09）
滕文公問曰、滕小國也、竭力以事大國、則不得免焉、如之何則可、孟子對曰、昔者大王居邠、狄人侵之、事之以皮幣、不得免焉、事之以犬馬、不得免焉、事之以珠玉、不得免焉、乃屬其耆老而告之曰、狄人之所欲者、吾土地也、吾聞之也、君子不以其所以養人者害人、
滕文の公問ひて曰く、滕は小國なり、力を竭して以て大國に事うるとも、則ち免るるを得じ。如之何にせば則ち可ならん、孟子對へて曰く、昔者大王邠に居りしとき、狄人之を侵せり。之に事うる皮幣を以てするも、免かるるを得ず。之に事うるに犬馬を以てするも、免かるるを得ず。之に事うる珠玉を以てするも、免かるるを得ず。乃ち其の耆老を屬めて之に告げて曰く、狄人の欲する所の者は、吾が土地なり、吾之を聞く、君子は其の人を養ふ所以の者を以て人を害せず（小林勝人 訳注、孟子 上、1968年、１０４頁改）。
従って、
（09）により、
（10）
② 君子不以其所以養人者害人。
に於いて、
② 人＝王の人民
である。
従って、
（01）～（10）により、
（11）
② 君子不以其所以養人者害人＝
② 君子不乙以下其所二以 養一レ人者上害甲レ人＝
② 君子不｛以［其所－以〔養（人）〕者］害（人）｝⇒
② 君子｛［其〔（人）養〕所－以者］以（人）害｝不＝
② 君子は｛［其の〔（人を）養ふ〕所－以の者を］以て（人を）害せ｝ず。
といふ「漢文・訓読」は、突き詰めて言へば、
② 君子は、自分の土地で、自分の人民を害さない。
といふ「意味」になる。
然るに、
（12）
② 君子は、自分の土地で、自分の人民を害さない。⇔
② ∀ｘ｛君子ｘ→∃ｙ∃ｚ（人ｙｘ＆地ｚｘ＆～害ｚｙ）｝⇔
② すべてのｘについて、ｘが君子であるならば、あるｙとあるｚについて、ｙはｘの人民であり、ｚはｘの土地であり、ｚはｙを害さない。
従って、
（11）（12）により、
（13）
② 君子不以其所以養人者害人。
といふ「漢文」は、
② ∀ｘ｛君子ｘ→∃ｙ∃ｚ（人ｙｘ＆地ｚｘ＆～害ｚｙ）｝
といふ風に、訳すことが、出来る。
然るに、
（14）
（ⅱ）
１ （１）∀ｘ｛君子ｘ→∃ｙ∃ｚ（人ｙｘ＆地ｚｘ＆～害ｚｙ）｝ Ａ
１ （２） 君子ａ→∃ｙ∃ｚ（人ｙａ＆地ｚａ＆～害ｚｙ） １ＵＥ
３ （３） ∀ｙ∀ｚ［（人ｙａ＆地ｚａ）→害ｚｙ］ Ａ
３ （４） ∀ｚ［（人ｂａ＆地ｚａ）→害ｚｂ］ ３ＵＥ
３ （５） （人ｂａ＆地ｃａ）→害ｃｂ ４ＵＥ
３ （６） ～（人ｂａ＆地ｃａ）∨害ｃｂ ５含意の定義
７ （７） ～（人ｂａ＆地ｃａ） Ａ
７ （８） ～人ｂａ∨～地ｃａ ７ド・モルガンの法則
７ （９） ～人ｂａ∨～地ｃａ∨ 害ｃｂ ８∨Ｉ
ア（ア） 害ｃｂ Ａ
ア（イ） ～人ｂａ∨～地ｃａ∨ 害ｃｂ ア∨Ｉ
３ （ウ） ～人ｂａ∨～地ｃａ∨ 害ｃｂ ６７９アイ∨Ｅ
３ （エ） ～（人ｂａ＆地ｃａ＆～害ｃｂ） ウ、ド・モルガンの法則
３ （オ） ∀ｚ～（人ｂａ＆地ｚａ＆～害ｚｂ） エＵＩ
３ （カ） ～∃ｚ（人ｂａ＆地ｚａ＆～害ｚｂ） オ量化子の関係
３ （キ） ∀ｙ～∃ｚ（人ｂａ＆地ｚａ＆～害ｚｂ） カＵＩ
３ （ク） ～∃ｙ∃ｚ（人ｙａ＆地ｚａ＆～害ｚｙ） キ量化子の関係
１３ （ケ） ～君子ａ ２クＭＴＴ
１ （コ） ∀ｙ∀ｚ［（人ｙａ＆地ｚａ）→害ｚｙ］→～君子ａ ３ケＣＰ
１ （サ）∀ｘ｛∀ｙ∀ｚ［（人ｙｘ＆地ｚｘ）→害ｚｙ］→～君子ｘ｝ コＵＩ
（ⅲ）
１ （１）∀ｘ｛∀ｙ∀ｚ［（人ｙｘ＆地ｚｘ）→害ｚｙ］→～君子ｘ｝ Ａ
１ （２） ∀ｙ∀ｚ［（人ｙａ＆地ｚａ）→害ｚｙ］→～君子ａ １ＵＥ
３ （３） 君子ａ Ａ
３ （４） ～～君子ａ ３ＤＮ
１３ （５） ～∀ｙ∀ｚ［（人ｙａ＆地ｚａ）→害ｚｙ］ ２４ＭＴＴ
１３ （６） ∃ｙ～∀ｚ［（人ｙａ＆地ｚａ）→害ｚｙ］ ５量化子の関係
１３ （７） ∃ｙ∃ｚ～［（人ｙａ＆地ｚａ）→害ｚｙ］ ６量化子の関係
８ （８） ∃ｚ～［（人ｂａ＆地ｚａ）→害ｚｂ］ Ａ
９（９） ～［（人ｂａ＆地ｃａ）→害ｃｂ］ Ａ
９（ア） ～［～（人ｂａ＆地ｃａ）∨害ｃｂ］ ９含意の定義
９（イ） （人ｂａ＆地ｃａ）＆～害ｃｂ ア、ド・モルガンの法則
９（ウ） 人ｂａ＆地ｃａ＆～害ｃｂ イ結合法則
９（エ） ∃ｚ（人ｂａ＆地ｃａ＆～害ｃｂ） ウＥＩ
８ （オ） ∃ｚ（人ｂａ＆地ｃａ＆～害ｃｂ） ８９エＥＥ
８ （カ） ∃ｙ∃ｚ（人ｂａ＆地ｃａ＆～害ｃｂ） オＥＩ
１３ （キ） ∃ｙ∃ｚ（人ｂａ＆地ｃａ＆～害ｃｂ） ７８カＥＥ
１ （ク） 君子ａ→∃ｙ∃ｚ（人ｙａ＆地ｚａ＆～害ｚｙ） ３キＣＰ
１ （ケ）∀ｘ｛君子ｘ→∃ｙ∃ｚ（人ｙｘ＆地ｚｘ＆～害ｚｙ）｝ クＵＩ
従って、
（14）により、
（15）
② ∀ｘ｛君子ｘ→∃ｙ∃ｚ（人ｙｘ＆地ｚｘ＆～害ｚｙ）｝⇔
② すべてのｘについて、ｘが君子であるならば、あるｙとあるｚについて、ｙはｘの人民であり、ｚはｘの土地であり、ｚはｙを害さない。
の「対偶（Contraposition）」は、
③ ∀ｘ｛∀ｙ∀ｚ［（人ｙｘ＆地ｚｘ）→害ｚｙ］→～君子ｘ｝⇔
③ すべての、ｘとｙとｚについて、ｙがｘの人民であって、ｚがｘの土地ならば、ｚがｙを害するならば、ｘは君子でない。
である。
然るに、
（16）
③ ∀ｘ｛∀ｙ∀ｚ［（人ｙｘ＆地ｚｘ）→害ｚｙ］→～君子ｘ｝⇔
③ すべての、ｘとｙとｚについて、ｙがｘの人民であって、ｚがｘの土地ならば、ｚがｙを害するならば、ｘは君子でない。
といふことは、
③ 自分の土地が、自分の人民を害するならば、君子ではない。
といふことである。
然るに、
（17）
③ 自分の土地が、自分の人民を害するならば、君子ではない。
であるならば、
③ 如其地害其人則非君子＝
③ 如其地害（其人）則非（君子）⇒
③ 如其地（其人）害則（君子）非＝
③ 如し其の地（其の人を）害さ則ち（君子に）非ず。
といふ風に、書くことが出来る。
従って、
（08）（10）（17）により、
（18）
② 君子不以其所以養人者害人。
③ 如其所以人者害人則非君子。
に於いて、
②＝③ は、「対偶（Contraposition）」である。
（19）
先ほどの、「ド・モルガンの法則」に関する「記事（令和０２年０２月２３日）」は、
② 君子不以其所以養人者害人。
といふ「漢文」を「述語論理」に翻訳してゐる際に、
（ⅰ）～（Ｐ＆Ｑ∨Ｒ）⇔ ～Ｐ∨～Ｑ＆～Ｒ
（ⅱ）～（Ｐ∨Ｑ＆Ｒ）⇔ ～Ｐ＆～Ｑ∨～Ｒ
といふ「等式（ド・モルガンの法則）」が、成立する。
といふことを、ネットで確認しようとしても、「確認できなかった」ので、「自分で証明」したものです。
（20）
あるいは、探し方が悪いのかもしれませんが、「連言（∩）と選言（∪）」が混在する場合の「ド・モルガンの法則」に関する「説明」は、少なくとも、「グーグルの１ページと２ページ」では、見付けることが出来ません。
令和０２年０２月２３日、毛利太。
0 件のコメント:
コメントを投稿