（ａ）『返り点と括弧』については、『「括弧」の「順番」（https://kannbunn.blogspot.com/2018/01/blog-post.html）』他をお読み下さい。
（ｂ）『返り点』については、『「返り点」の「付け方」を教へます（https://kannbunn.blogspot.com/2018/01/blog-post_3.html）』他をお読み下さい。
（01）
（ａ）
１ （１） Ｐ＆（Ｑ∨Ｒ） Ａ
１ （２） Ｐ １＆Ｅ
１ （３） Ｑ∨Ｒ １＆Ｅ
４ （５） Ｑ Ａ
１４ （６） Ｐ＆Ｑ ２５＆Ｉ
１４ （７）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ） ６∨Ｉ
８（８） Ｒ Ａ
１ ８（９） Ｐ＆Ｒ ２８＆Ｉ
１ ８（ア）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ） ９∨Ｉ
１ （イ）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ） ３５７８ア∨Ｅ
（ｂ）
１ （１）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ） Ａ
２ （２） Ｐ＆Ｑ Ａ
２ （３） Ｐ ２＆Ｅ
２ （４） Ｑ ２＆Ｅ
２ （５） Ｑ∨Ｒ ４∨Ｉ
２ （６）Ｐ＆（Ｑ∨Ｒ） ３５＆Ｉ
７（７） Ｐ＆Ｒ Ａ
７（８） Ｐ ７＆Ｅ
７（９） Ｒ ７＆Ｅ
７（ア） Ｑ∨Ｒ ９∨Ｉ
７（イ）Ｐ＆（Ｑ∨Ｒ） ８ア＆Ｉ
１ （ウ）Ｐ＆（Ｑ∨Ｒ） １２６７イ∨Ｅ
従って、
（01）により、
（02）
① Ｐ＆（Ｑ∨Ｒ）
② （Ｐ＆Ｑ）∨（Ｐ＆Ｒ）
に於いて、
①＝② である。
ｃｆ.
分配法則（Distributive property）。
然るに、
（03）
（ａ）
１ （１） 横と（大か関） Ａ
１ （２） 横 １＆Ｅ
１ （３） 大か関 １＆Ｅ
４ （５） 大 Ａ
１４ （６） 横と大 ２５＆Ｉ
１４ （７）（横と大）か（横と関） ６∨Ｉ
８（８） 関 Ａ
１ ８（９） 横と関 ２８＆Ｉ
１ ８（ア）（横と大）か（横と関） ９∨Ｉ
１ （イ）（横と大）か（横と関） ３５７８ア∨Ｅ
（ｂ）
１ （１）（横と大）か（横と関） Ａ
２ （２） 横と大 Ａ
２ （３） 横 ２＆Ｅ
２ （４） 大 ２＆Ｅ
２ （５） 大か関 ４∨Ｉ
２ （６）横と（大か関） ３５＆Ｉ
７（７） 横と関 Ａ
７（８） 横 ７＆Ｅ
７（９） 関 ７＆Ｅ
７（ア） 大か関 ９∨Ｉ
７（イ）横と（大か関） ８ア＆Ｉ
１ （ウ）横と（大か関） １２６７イ∨Ｅ
従って、
（01）（02）（03）より、
（04）
① 横綱と（大関か関脇）
②（横綱と大関）か（横綱と関脇）
に於いて、
①＝② である。
然るに、
（05）
① 横綱と、大関か関脇。
② 横綱と大関か、横綱と関脇。
に於いて、
①＝② である。
然るに、
（06）
（ａ）
１ （１） （Ｐ＆Ｑ）∨ Ｒ Ａ
２ （２） ～（Ｐ＆Ｑ）＆～Ｒ Ａ
３ （３） （Ｐ＆Ｑ） Ａ
２ （４） ～（Ｐ＆Ｑ） ＆Ｅ
２３ （５） ～（Ｐ＆Ｑ）＆（Ｐ＆Ｑ） ３４＆Ｉ
３ （６）～（～（Ｐ＆Ｑ）＆～Ｒ） ２６ＲＡＡ
７ （７） Ｒ Ａ
２ （８） ～Ｒ Ａ
２ ７ （９） Ｒ＆～Ｒ ７８＆Ｉ
７ （ア）～（～（Ｐ＆Ｑ）＆～Ｒ） ２９ＲＡＡ
１ （イ）～（～（Ｐ＆Ｑ）＆～Ｒ） ２３６７ア∨Ｅ
ウ （ウ） ～（Ｐ＆Ｑ） Ａ
エ（エ） ～Ｒ Ａ
ウエ（オ） ～（Ｐ＆Ｑ） Ａ
ウエ（カ） ～（Ｐ＆Ｑ）＆～Ｒ ウエ
１ ウエ（キ）～（～（Ｐ＆Ｑ）＆～Ｒ）＆
～（Ｐ＆Ｑ）＆～Ｒ イカ＆Ｉ
１ ウ （ク） ～～Ｒ エキＲＡＡ
１ ウ （ケ） Ｒ ウＤＮ
１ （コ） ～（Ｐ＆Ｑ）→ Ｒ オケＣＰ
（ｂ）
１ （１）～（Ｐ＆Ｑ）→ Ｒ Ａ
２（２）～（Ｐ＆Ｑ）＆～Ｒ Ａ
２（３）～（Ｐ＆Ｑ） ２＆Ｅ
２（４） ～Ｒ ２＆Ｅ
１２（５） Ｒ １３ＭＰＰ
１２（６） ～Ｒ＆Ｒ ４５＆Ｉ
１ （７） ～～Ｒ ２６ＲＡＡ
１ （８） Ｒ ７ＤＮ
１ （９） （Ｐ＆Ｑ）∨ Ｒ ８∨Ｉ
従って、
（06）により、
（07）
③ （Ｐ＆Ｑ）∨Ｒ
④ ～（Ｐ＆Ｑ）→Ｒ
に於いて、
③＝④ である。
ｃｆ.
選言除去（Elimination method）。
然るに、
（08）
（ａ）
１ （１） （横と大）か 関 Ａ
２ （２） ～（横と大）と～関 Ａ
３ （３） （横と大） Ａ
２ （４） ～（横と大） とＥ
２３ （５） ～（横と大）と（横と大） ３４とＩ
３ （６）～（～（横と大）と～関） ２６ＲＡＡ
７ （７） 関 Ａ
２ （８） ～関 Ａ
２ ７ （９） 関と～関 ７８とＩ
７ （ア）～（～（横と大）と～関） ２９ＲＡＡ
１ （イ）～（～（横と大）と～関） ２３６７アかＥ
ウ （ウ） ～（横と大） Ａ
エ（エ） ～関 Ａ
ウエ（オ） ～（横と大） Ａ
ウエ（カ） ～（横と大）と～関 ウエ
１ ウエ（キ）～（～（横と大）と～関）と
～（横と大）と～関 イカとＩ
１ ウ （ク） ～～関 エキＲＡＡ
１ ウ （ケ） 関 ウＤＮ
１ （コ） ～（横と大）→ 関 オケＣＰ
（ｂ）
１ （１）～（横と大）→ 関 Ａ
２（２）～（横と大）と～関 Ａ
２（３）～（横と大） ２とＥ
２（４） ～関 ２とＥ
１２（５） 関 １３ＭＰＰ
１２（６） ～関と関 ４５とＩ
１ （７） ～～関 ２６ＲＡＡ
１ （８） 関 ７ＤＮ
１ （９） （横と大）か 関 ８かＩ
従って、
（06）（07）（08）により、
（09）
③（横綱と大関）か関脇。
④（横綱と大関）でなければ関脇。
に於いて、
③＝④ である。
然るに、
（10）
③ 横綱と大関か、関脇。
④ 横綱と大関、でなければ関脇。
に於いて、
③＝④ である。
従って、
（04）（05）（09）（10）により、
（11）
① 横綱と（大関か関脇）
②（横綱と大関）か（横綱と関脇）
③（横綱と大関）か関脇。
④（横綱と大関）でなければ関脇。
に於いて、
①＝② であって、
③＝④ であって、
① 横綱と、大関か関脇。
② 横綱と大関か、横綱と関脇。
③ 横綱と大関か、関脇。
④ 横綱と大関、でなければ関脇。
に於いて、
①＝② であって、
③＝④ である。
然るに、
（12）
② 横綱と大関か、横綱と関脇。
といふことは、
② 横綱と大関でなければ、横綱と関脇。
といふことに、他ならない。
然るに、
（13）
② 横綱と大関でなければ、横綱と関脇。
④ 横綱と大関でなければ、 関脇。
に於いて、
②＝④ ではない。
従って、
（11）（12）（13）により、
（14）
① 横綱と、大関か関脇。
② 横綱と大関か、横綱と関脇。
③ 横綱と大関か、関脇。
④ 横綱と大関、でなければ関脇。
に於いて、
①＝② であって、
③＝④ であるものの、
① 横綱と、大関か関脇。
③ 横綱と大関か、関脇。
に於いて、
①＝③ ではない。
然るに、
（15）
① Ｐ＆（Ｑ∨Ｒ）
③ （Ｐ＆Ｑ）∨Ｒ
に於いても、
①＝③ ではない。
従って、
（01）～（15）により、
（16）
例へば、
① 横綱と、大関か関脇。
② 横綱と大関か、横綱と関脇。
③ 横綱と大関か、関脇。
④ 横綱と大関、でなければ関脇。
に於ける、
① 、 。
② 、 。
③ 、 。
④ 、 。
といふ「句読点」は、
① Ｐ＆（Ｑ∨Ｒ）
② （Ｐ＆Ｑ）∨（Ｐ＆Ｒ）
③ （Ｐ＆Ｑ）∨Ｒ
④ ～（Ｐ＆Ｑ）→Ｒ
に於ける、
① （ ）
② （ ） （ ）
③ （ ）
④ （ ）
といふ「括弧」に、相当する。
然るに、
（17）
「漢文」には、「と（ａｎｄ）」は有っても、「か（ｏｒ）」が無い。
然るに、
（18）
「と・か（ａｎｄ・ｏｒ）」のやうな、「等位接続詞」を持たない「言語」は多くはなく、それを「文字」にした際に「句読点」を持たない「言語」は、存在しない、と思はれる。
従って、
（16）（17）により、
（18）
「句読点」としての「括弧」を持たない「言語」は、多くはないと、思はれる。
（19）
「昨日か今日」を、グーグル翻訳に掛けると、「昨天或今天」。
然るに、
（20）
「漢文」の「或」といふ「漢字」には、「か（ｏｒ）」といふ「意味」は無い。
平成３０年０５月２５日、毛利太。
0 件のコメント:
コメントを投稿