―「昨日（０３年０４月２４日）の記事」を補足します。―（01）「管到」とは、ある語句がそのあとのどの漢字までかかっているか、という範囲のことである。白文の訓読では、それぞれの漢字の意味や品詞を自分で考え、その漢字が後ろのどこまでかかっているか…

（01）漢語文法の基礎となっている文法的関係として、次の四つの関係（構造）をあげることができる。（一）主述構造 主語―述語（二）修飾構造 修飾語―被修飾語（三）補足構造 叙述語―補足語（四）並列構造 並列語―並列語（鈴木直治、中国語と漢文、1975年、…

（01）ブログを始めた当初から、これまでに、何度も示してゐる通り、１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ ２ （２）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ ３ （３）∃ｘ（兎ｘ＆象ｘ） Ａ１ （４） …

（01）（ⅰ）１ （１）～∀ｘ｛ 弟子ｘ→ ∃ｙ（師匠ｙｘ＆ｘ＜ｙ）｝ Ａ１ （２）∃ｘ～｛ 弟子ｘ→ ∃ｙ（師匠ｙｘ＆ｘ＜ｙ）｝ １量化子の関係 ３（３） ～｛ 弟子ａ→ ∃ｙ（師匠ｙａ＆ａ＜ｙ）｝ Ａ ３（４） ～｛～弟子ａ∨ ∃ｙ（師匠ｙａ＆ａ＜ｙ）｝ ３含意の…

―「昨日（令和０３年０４月１８日）の記事」を書き直します。―（01）（ⅰ）１ （１）～∀ｘ｛ 弟子ｘ→ ∃ｙ（師ｙｘ＆ｘ＜ｙ）｝ Ａ１ （２）∃ｘ～｛ 弟子ｘ→ ∃ｙ（師ｙｘ＆ｘ＜ｙ）｝ １量化子の関係 ３（３） ～｛ 弟子ａ→ ∃ｙ（師ｙａ＆ａ＜ｙ）｝ Ａ ３（４…

―「昨日（令和０３年０４月１８日）の記事」を書き直します。―（01）（ⅰ）１ （１）～∀ｘ｛ 弟子ｘ→ ∃ｙ（師ｙｘ＆ｘ＜ｙ）｝ Ａ１ （２）∃ｘ～｛ 弟子ｘ→ ∃ｙ（師ｙｘ＆ｘ＜ｙ）｝ １量化子の関係 ３（３） ～｛ 弟子ａ→ ∃ｙ（師ｙａ＆ａ＜ｙ）｝ Ａ ３（４…

―「先程の記事（令和０３年０４月１５日）」を補足します。―（01）「漢文・縦横書き」と「インデント」を説明するための「例文（作例）」としては、① 非無不欲爲聖人除弊事者。② 我非必不求以解中文法解漢文者也。であれば、② の方が「相応しい」。（02）① …

（01）① 読（漢文）。② 使〔我長（百獸）〕。③ 欲〔爲（聖人）除（弊事）〕。④ 使［我両君匪〔以（玉帛）相見〕］。⑤ 無｛不［欲〔爲（聖人）除（弊事）〕］者｝。⑥ 非〈無｛不［欲〔爲（聖人）除（弊事）〕］者｝〉。に於いて、□（ ）⇒（ ）□□〔 〕⇒〔 〕□□…

（01） 然るに、（02）① 読（漢文）。② 使〔我長（百獸）〕。③ 欲〔爲（聖人）除（弊事）〕。④ 使［我両君匪〔以（玉帛）相見〕］。⑤ 不｛以［所‐以〔養（人）〕者］害（人）｝。⑥ 不〈知｛我不〔羞（小節）〕而恥［功名不〔顕（于天下）〕］｝〉也。に於い…

―「昨日（令和０３年０４月１１日）の記事」を書き直します。―（01）１（１）∃ｘ（Ｆｘ） Ａ２（２） Ｆａ Ａといふ「仮定」は「妥当」であり、それ故、 連式 ∃ｘ（Ｆｘ）├ Ｆａといふ「連式」も「妥当」でなければ、ならない。然るに、（02）連式 Ｆａ├ ∃ｘ…

（01）―「含意の定義」の証明。―（ⅰ）１ （１） Ｐ→Ｑ Ａ ２ （２） ～（～Ｐ∨Ｑ） Ａ ３（３） ～Ｐ Ａ ３（４） ～Ｐ∨Ｑ ３∨Ｉ（選言導入） ２３（５） ～（～Ｐ∨Ｑ）＆ （～Ｐ∨Ｑ） ２４＆Ｉ ２ （６） ～～Ｐ ３５ＲＡＡ ２ （７） Ｐ ６ＤＮ１２ （８）…

―「昨日（令和０３年０４月０９日）の記事」を補足します。―（01）命題計算では、パースの法則は （（Ｐ→Ｑ）→Ｐ）→Ｐ のことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには…

― 今日は、（４７９）へのアクセスが、多くなってゐます。―（01）命題計算では、パースの法則は （（Ｐ→Ｑ）→Ｐ）→Ｐ のことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには…

（01）すべての正の整数が奇数ではなく、またすべての数が偶数でもない。この場合には、自然な試みを差しとめるのは「ＵＩに対する制限」である。 １ （１）∀ｘ（Ｆｘ∨Ｇｘ） Ａ １ （２） Ｆａ∨Ｇａ １ＵＥ ３（３） Ｆａ ＡＦａ∨Ｇａ を（１）から結論し、…

（01）―「ド・モルガンの法則」の証明（Ⅰ）。―（ⅰ）１ （１） ～（ Ｐ＆ Ｑ） Ａ ２ （２） ～（～Ｐ∨～Ｑ） Ａ ３ （３） ～Ｐ Ａ ３ （４） ～Ｐ∨～Ｑ ３∨Ｉ ２３ （５） ～（～Ｐ∨～Ｑ）＆ （～Ｐ∨～Ｑ） ２４＆Ｉ ２ （６） ～～Ｐ ３５ＲＡＡ ２ （７）…

（01）―「含意の定義」の証明。―（ⅰ）１ （１） Ｐ→Ｑ Ａ ２ （２） ～（～Ｐ∨Ｑ） Ａ ３（３） ～Ｐ Ａ ３（４） ～Ｐ∨Ｑ ３∨Ｉ ２３（５） ～（～Ｐ∨Ｑ）＆ （～Ｐ∨Ｑ） ２４＆Ｉ ２ （６） ～～Ｐ ３５ＲＡＡ ２ （７） Ｐ ６ＤＮ１２ （８） Ｑ １７ＭＰ…

―「昨日の記事（令和０３年０４月０５日）」を書き直します。―（01）京都大学文学部・矢田部俊介先生、曰く、（１）「歩く」といふ「人間の行為」を「理解」するためには、「歩行が可能な、ロボット」を作ってみればよく、同様に、（２）「推論」といふ「人…

（01） ―「先程の記事（令和０３年０４月０３日）」でも書いた通り、―（α）「Ａから、Ｂが、導出される」のであれば、「Ａ→Ｂ（ＡならばＢである。）」は、「恒真式（トートロジー）」である。（β）「Ａを否定すると、矛盾が生じる」のであれば、「Ａ（Ａで…

（01）①（土曜なので、休日である。）といふことは、② 土曜ならば、休日である。（土曜である。故に、休日である。）といふことに、他ならない。従って、（01）により、（02）①（ＰなのでＱである。）といふことは、② ＰならばＱである。（Ｐである。故に、…