「人不知而不愠」の「述語論理」。

―「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）
（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）
（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）
（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）
（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）
（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒
　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）
（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）
（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）
等々、「その他、諸々」を、お読み下さい。今となっては、どのやうなことを書いて、どのやうなことを書かなかったのか、ハッキリとは、覚えてはゐません。―

（01）
① 人不知而不愠不亦君子乎＝
① 人不（知）而不（愠）不（亦君子）乎⇒
① 人（知）不而（愠）不（亦君子）不乎＝
① 人（知ら）ずして（愠み）ず（亦君子なら）ずや。
に於いて、
① 不亦君子乎＝亦君子ならざるや。
といふ「漢文訓読」は、「反語」である。
然るに、
（02）
反語とは、表現されている内容と反対のことを意味する言い方で、多くは疑問形と同じ形であり、日本語でも、「そんなこと誰が知ろうか」と言う場合、「誰が知っているか」とたずねているのではなく、逆に「誰も知ってはいない」ということを言っているのである。けっきょく、肯定している場合は否定に、否定している場合は肯定の内容になる。
（旺文社、漢文の基礎、1973年、４５頁）。
従って、
（01）（02）により、
（03）
① 不亦君子乎＝亦君子ならざるや。
といふ「漢文訓読」は、「反語」であるため、「二重否定」による、「肯定」である。
従って、
（01）（03）により、
（04）
① 人不知而不愠不亦君子乎。
といふ「漢文」は、
① 人が自分の価値を認めてくれなくとも、気にかけないような人は、なんとりっぱな人ではないか（三省堂、明解古典学習シリーズ１６、論語 孟子、1973年、２頁）。
といふ、「意味」になる。
然るに、
（05）
（α）
１　　　　（１）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～知ｘｙ＆～愠ｙｘ）→～～君子ｙ］｝　Ａ
１　　　　（２）　　　人ａ→∃ｙ［（私ｙ＆～知ａｙ＆～愠ｙａ）→～～君子ｙ］　　１ＵＥ
　３　　　（３）　　　人ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　　（４）　　　　　　∃ｙ［（私ｙ＆～知ａｙ＆～愠ｙａ）→～～君子ｙ］　　２３ＭＰＰ
　　５　　（５）　　　　　　　　　（私ｂ＆～知ａｂ＆～愠ｂａ）→～～君子ｂ　　　Ａ
　　５　　（６）　　　　　　　　　（私ｂ＆～知ａｂ＆～愠ｂａ）→　　君子ｂ　　　５ＤＮ
　　　　７（７）　　　私ｂ＆～君子ｂ　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　７（８）　　　私ｂ　　　　　　　　　　　　　　　　　　　　　　　　　　　７＆Ｅ
　　　　７（９）　　　　　　～君子ｂ　　　　　　　　　　　　　　　　　　　　　　７＆Ｅ
　　５　７（ア）　　　　　　　　～（私ｂ＆～知ａｂ＆～愠ｂａ）　　　　　　　　　６９ＭＴＴ
　　５　７（イ）　　　　　　　～私ｂ∨～～知ａｂ∨～～愠ｂａ　　　　　　　　　　ア、ド・モルガンの法則
　　５　７（ウ）　　　　　　　～私ｂ∨　　知ａｂ∨　　愠ｂａ　　　　　　　　　　イＤＮ
　　５　７（エ）　　　　　　　～私ｂ∨　（　　知ａｂ∨愠ｂａ）　　　　　　　　　ウ結合法則
　　５　７（オ）　　　　　　　　私ｂ→　（　　知ａｂ∨愠ｂａ）　　　　　　　　　エ含意の定義
　　５　７（カ）　　　　　　　　私ｂ→　（～～知ａｂ∨愠ｂａ）　　　　　　　　　オＤＮ
　　５　７（キ）　　　　　　　　私ｂ→　（　～知ａｂ→愠ｂａ）　　　　　　　　　カ含意の定義
　　５　７（ク）　　　　　　　　　　　　（　～知ａｂ→愠ｂａ）　　　　　　　　　８キＭＰＰ
　　５　　（ケ）　　　（私ｂ＆～君子ｂ）→（～知ａｂ→愠ｂａ）　　　　　　　　　７クＣＰ
　　５　　（コ）∃ｙ［（私ｙ＆～君子ｙ）→（～知ａｙ→愠ｙａ）］　　　　　　　　ケＥＩ
１３　　　（サ）∃ｙ［（私ｙ＆～君子ｙ）→（～知ａｙ→愠ｙａ）］　　　　　　　　４５コＥＥ
１　　　　（シ）　　　人ａ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ａｙ→愠ｙａ）］　　３サＣＰ
１　　　　（ス）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ｘｙ→愠ｙｘ）］｝　シＵＩ
（β）
１　　　　　（１）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ｘｙ→愠ｙｘ）］｝　Ａ
１　　　　　（２）　　　人ａ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ａｙ→愠ｙａ）］　　１ＵＥ
　３　　　　（３）　　　人ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　　　（４）　　　　　　∃ｙ［（私ｙ＆～君子ｙ）→（～知ａｙ→愠ｙａ）］　　２３ＭＰＰ
　　５　　　（５）　　　　　　　　　（私ｂ＆～君子ｂ）→（～知ａｂ→愠ｂａ）　　　Ａ
　　　６　　（６）　　　　　　　　　　私ｂ　　　　　　　　　　　　　　　　　　　　Ａ
　　　　７　（７）　　　　　　　　　　　　　～君子ｂ　　　　　　　　　　　　　　　Ａ
　　　６７　（８）　　　　　　　　　　私ｂ＆～君子ｂ　　　　　　　　　　　　　　　６７＆Ｉ
　　５６７　（９）　　　　　　　　　　　　　　　　　　　（～知ａｂ→愠ｂａ）　　　５８ＭＰＰ
　　５　７　（ア）　　　　　　　　　　私ｂ→（～知ａｂ→愠ｂａ）　　　　　　　　　６９ＣＰ
　　５　７　（イ）　　　　　　　　　私ｂ→（～～知ａｂ∨愠ｂａ）　　　　　　　　　ア含意の定義
　　５　７　（ウ）　　　　　　　　　　　私ｂ→（知ａｂ∨愠ｂａ）　　　　　　　　　イＤＮ
　　５　７　（エ）　　　　　　　　　　～私ｂ∨（知ａｂ∨愠ｂａ）　　　　　　　　　ウ含意の定義
　　５　７　（オ）　　　　　　　　　（～私ｂ∨　知ａｂ∨愠ｂａ）　　　　　　　　　エ結合法則
　　５　　　（カ）　　　　～君子ｂ→（～私ｂ∨　知ａｂ∨愠ｂａ）　　　　　　　　　７オＣＰ
　　　　　キ（キ）　　　　　　　　～（～私ｂ∨　知ａｂ∨愠ｂａ）　　　　　　　　　Ａ
　　５　　キ（ク）　　　～～君子ｂ　　　　　　　　　　　　　　　　　　　　　　　　カキＭＴＴ
　　５　　　（ケ）　　　　　　　　～（～私ｂ∨　知ａｂ∨愠ｂａ）→～～君子ｂ　　　キクＣＰ
　　５　　　（コ）　　　　　　　（～～私ｂ＆～知ａｂ＆～愠ｂａ）→～～君子ｂ　　　ケ、ド・モルガンの法則
　　５　　　（サ）　　　　　　　　　（私ｂ＆～知ａｂ＆～愠ｂａ）→～～君子ｂ　　　コＤＮ
　　５　　　（シ）　　　　　　∃ｙ［（私ｙ＆～知ａｙ＆～愠ｙａ）→～～君子ｙ］　　サＥＩ
１３　　　　（ス）　　　　　　∃ｙ［（私ｙ＆～知ａｙ＆～愠ｙａ）→～～君子ｙ］　　４５シＥＥ
１　　　　　（セ）　　　人ａ→∃ｙ［（私ｙ＆～知ａｙ＆～愠ｙａ）→～～君子ｙ］　　３スＣＰ
１　　　　　（ソ）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～知ｘｙ＆～愠ｙｘ）→～～君子ｙ］｝　セＵＩ
従って、
（05）により、
（06）
（α）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～知ｘｙ＆～愠ｙｘ）→～～君子ｙ］｝
（β）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ｘｙ→愠ｙｘ）］｝
に於いて、すなはち、
（α）すべてのｘについて、ｘが人であるならば、あるｙは私であって、ｘはｙを知らず、ｙはｘを恨まないならば、ｙは君子ではない、ではない。
（β）すべてのｘについて、ｘが人であるならば、あるｙが私であって、ｙが君子でないならば、ｘがｙを知らなければ、ｙはｘを恨む。
に於いて、
（α）＝（β）である。
従って、
（06）により、
（07）
（α）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～知ｘｙ＆～愠ｙｘ）→～～君子ｙ］｝
（β）∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ｘｙ→愠ｙｘ）］｝
といふ「述語論理」は、
（α）人（他者）が、私（自分）を知らなくとも（正当に評価しくとも）、人（他者）を恨まないのであれば、自分（私）は、「君子」である。
（β）人（他者）が、私（自分）を知らない（正当に評価しない）場合に、私（自分）が「君子」でないならば、自分（私）は、人（他者）を恨む。
といふ「意味」を、表すことが、出来る。
従って、
（03）（07）により、
（08）
① 人不知而不愠不亦君子乎＝
① 人不（知）而不（愠）不（亦君子）乎⇒
① 人（知）不而（愠）不（亦君子）不乎＝
① 人（知ら）ずして（愠み）ず（亦君子なら）ざるや＝
① 自分を正当評価しない人に対しても、不満に思はない人は、何と、立派な人ではないか。
といふ「漢文・訓読」は、
② ∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～知ｘｙ＆～愠ｙｘ）→～～君子ｙ］｝
③ ∀ｘ｛人ｘ→∃ｙ［（私ｙ＆～君子ｙ）→（～知ｘｙ→愠ｙｘ）］｝
といふ「述語論理」に、相当する。
令和元年０５月１５日、毛利太。