2014年11月12日水曜日

「括弧」は、存在(∃)します。

(01)
「論理学の記号」は、昔から「書き方」が、一定ではありません。
そのため、
(02)
私自身は、
  ∀ⅹ∃y(ⅹKy∧~yKⅹ)=すべての人は彼を知らないある人を知っている。
(スマリヤン、記号論理学 一般化と記号化、2013年、119頁)を、
(∀ⅹ)(∃y)(ⅹKy&~yKⅹ)=すべての人は彼を知らないある人を知っている。
といふ風に、書くことに、します。
然るに、
(03)
  ~yKⅹ は、yKⅹ の「否定」であるため、
~(yKⅹ)とします。
従って、
(02)(03)により、
(04)
(∀ⅹ)(∃y)(ⅹKy&~(yKⅹ))
であるものの、
(∀ⅹ)(∃y)(ⅹKy&~(yKⅹ))は、
「正確」には、
(∀ⅹ)((∃y)(ⅹKy&~(yKⅹ)))
である、はずです。
従って、
(02)(04)により、
(05)
  ∀ⅹ∃y(ⅹKy∧~yKⅹ)=
(∀ⅹ)((∃y)(ⅹKy&~(yKⅹ)))
であるものの、読みやすいやうに、
(∀ⅹ)((∃y)(ⅹKy&~(yKⅹ)))=
(∀ⅹ)[(∃y)〔ⅹKy&~(yKⅹ)〕]
といふ風に、書くことにします。
然るに、
(06)
(∀ⅹ)[(∃y)〔ⅹKy&~(yKⅹ)〕]
といふ「述語論理」を、「訓読」すると、
(∀ⅹ)[(∃y)〔ⅹKy&~(yKⅹ)〕]⇒
[〔ⅹKy&(yKⅹ)~〕(∃y)](∀ⅹ)=
[〔ⅹがyを知ってゐて、(yがⅹを知ら)ない〕(といふ、そのやうなyが存在する)ことに関しては、](全てのⅹについて、正しい)。
然るに、
(07)
日本国総理大臣は、例へば、私を知らないため、
安倍晋三を知ってゐて、安倍晋三が知らない日本国民は、存在します。
従って、
(07)により、
(08)
ⅹ=日本国民の一人。
 y =安部信三。
であれば、
ⅹがy(安倍晋三)を知ってゐて、y(安倍晋三)がⅹを知らない。といふ、そのやうなy(日本国総理大臣)が存在する。といふことは、「正しい」。
然るに、
(09)
ⅹ=日本国民の一人。
であるときに、(全てのⅹについて、正しい)。
といふことは、
約1億3千万の、「全ての日本人」について、「正しい」といふことを、意味してゐる。
然るに、
(10)
ⅹ=日本国民の一人。
として、
ⅹ=10日前に生まれた赤ん坊。
を「想定」すると、
ⅹは、安倍晋三を知らない。
従って、
(06)~(10)により、
(11)
ⅹ=日本国民の一人。
 y =安倍晋三。
であるとき、
ⅹ(赤ん坊)はy(安倍晋三)を知らない。
が故に、
(∀ⅹ)[(∃y)〔ⅹKy&~(yKⅹ)〕]
といふ「述語論理」は、「偽(ウソ)」です。
従って、
(05)(06)(11)により、
(12)
ⅹ=日本国民の一人。
 y =安倍晋三。
であるとき、
  ∀ⅹ∃yⅹKy∧~yKⅹ=
(∀ⅹ)[(∃y)〔ⅹKy&~(yKⅹ)〕]=
すべての人は、彼を知らない所の、ある人を知っている。
といふ「述語論理」は、「偽(ウソ)」です。
従って、
(05)~(12)により、
(13)
∀ⅹ∃yⅹKy∧~yKⅹ
といふ「偽なる命題」に、
∀ⅹ[∃y〔ⅹKy∧~(yKⅹ)〕]
といふ「括弧」を加へることは、正しい。
然るに、
(14)
∀ⅹ[∃y〔ⅹKy∧~(yKⅹ)〕]
を、「漢文」で表すならば、
人皆知所不己知者。
といふ風に、なると、思はれます。
然るに、
(15)
人皆知所不己知者。
といふ「漢文」が、有るとして、
人皆知所不己知者=
人皆知[所〔不(己知)〕者]⇒
人皆[〔(己知)不〕所者]知=
人皆知[所〔不(己知)〕者]=
人皆[〔(己を知ら)不る〕所の者を]知る。
といふ「漢文訓読」は、正しい。
従って、
(14)(15)により、
(16)
人皆知所不己知者。
といふ「漢文」が、有るとして、
人皆知所不己知者。
に対して、
[〔( )〕]
といふ「括弧」を加へることは、
∀ⅹ∃yⅹKy∧~yKⅹ
に対して、
[〔( )〕]
といふ「括弧」を加へることに、相当します。
然るに、
(17)
論理結合子を組み合わせて用いることで、単純な命題から複雑な命題を組み立てることができる、その際、曖昧さを排除するために括弧が必要となることがある(スマリヤン、記号論理学 一般化と記号化、2013年、49頁)。
従って、
(16)(17)により、
(18)
∀ⅹ∃yⅹKy∧~yKⅹ
といふ「論理式」に、[〔( )〕]といふ「括弧」が、有るやうに、
人皆知所不己知者。
といふ「漢文」にも、[〔( )〕]といふ「括弧」は、有ります!。
平成26年11月12日、毛利太。
(19)
(∃ⅹ)〔(∀y)(yKⅹ → ⅹKy)〕
を、「訓読」すると、
(∃ⅹ)〔(∀y)(yKⅹ → ⅹKy)〕⇒
〔(yKⅹ → ⅹKy)(∀y)〕(∃ⅹ)=
〔(yがⅹを知ってゐるならば、 ⅹもyを知ってゐる。といふことが)(全てのyについて正しい)〕(といふ、そのやうなⅹが存在する)。
従って、
(20)
(∃ⅹ)〔(∀y)(yKⅹ → ⅹKy)〕=
自分を知ってゐる全ての人物を知ってゐる、そのやうな人である所のⅹが存在する。
然るに、
(21)
【関連記事】
眞鍋かをりさん脅迫 逮捕の男「謝罪しろ」と事務所に電話 面識はなし(夕刊フジ)。
最終更新:11月12日(水)19時6分
従って、
(20)(21)により、
(22)
(∃ⅹ)〔(∀y)(yKⅹ → ⅹKy)& ⅹ=眞鍋かをりさん〕
といふ「命題」は、「偽(ウソ)」である。

(23)
中川翔子が、彼女のファンの全員を知ってゐることも有りえない。
従って、
(23)により、
(24)
(∃ⅹ)〔(∀y)(yKⅹ → ⅹKy)& ⅹ=しょこたん〕
といふ「命題」も、「偽(ウソ)」である。
平成26年11月12日、毛利太。

0 件のコメント:

コメントを投稿