2019年8月24日土曜日

「分配法則」と「括弧(句読点)」。

(01)
(ⅰ)
1  (1) P&(Q∨R)    A
1  (2) P          1&E
1  (3)    Q∨R     1&E
 4 (4)    Q       A
14 (5) P&Q        24&I
14 (6)(P&Q)∨(P&R) 5∨I
  7(7)      R     A
1 7(8)       P&R  27&I
1 7(9)(P&Q)∨(P&R) 8∨I
1  (ア)(P&Q)∨(P&R) 34679∨E
(ⅱ)
1  (1)(P&Q)∨(P&R) A
 2 (2)(P&Q)       A
 2 (3) P          2&E
 2 (4)   Q        2&E
 2 (5)    Q∨R     4∨I
 2 (6) P&(Q∨R)    35&I
  7(7)      (P&R) A
  7(8)       P    7&E
  7(9)         R  7&E
  7(ア)       Q∨R  9∨I
  7(イ) P&(Q∨R)    8ア&I
1  (ウ) P&(Q∨R)    1267イ∨E
従って、
(01)により、
(02)
①  P&(Q∨R)
②(P&Q)∨(P&R)
に於いて、
①=② である。
cf.
分配法則(Distribution law Ⅰ)
(03)
(ⅲ)
1  (1)(P&Q)∨R     A
 2 (2) P&Q        A
 2 (3) P          2&E
 2 (4) P∨R        3∨I
 2 (5) Q          2&E
 2 (6) Q∨R        5∨I
 2 (7)(P∨R)&(Q∨R) 45&I
  8(8)      R     A
  8(9)    P∨R     8∨I
  8(ア)    Q∨R     8∨I
  8(イ)(P∨R)&(Q∨R) 9ア&I
1  (ウ)(P∨R)&(Q∨R) 1278イ∨E
(ⅳ)
1 (1)  (P∨R)&(Q∨R) A
1 (2)   P∨R        1&E
1 (3)   R∨P        2交換法則
1 (4) ~~R∨P        3DN
1 (5)  ~R→P        4含意の定義
1 (6)         Q∨R  1&E
1 (7)         R∨Q  6交換法則
1 (8)       ~~R∨Q  7DN
1 (9)        ~R→Q  8含意の定義
 ア(ア)  ~R          A
1ア(イ)     P        5アMPP  
1ア(ウ)           Q  9アMPP
1ア(エ)     P&Q      イウ&I
1 (オ) ~R→(P&Q)     アエCP
1 (カ)~~R∨(P&Q)     オ含意の定義
1 (キ)  R∨(P&Q)     カDN
1 (ク) (P&Q)∨R      キ交換法則
従って、
(03)により、
(04)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
③=④ である。
cf.
分配法則(Distribution law Ⅱ)
従って、
(02)(04)により、
(05)
①  P&(Q∨R)
②(P&Q)∨(P&R)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
①=② であって、
③=④ である。
然るに、
(06)
②(P&Q)∨(P&R)
④(P∨R)&(Q∨R)
に於いて、
②(偽&Q)∨(偽&真)=(偽∨偽)=
④(偽∨真)&(Q∨真)=(真&真)=
従って、
(05)(06)により、
(07)
①  P&(Q∨R)
③(P&Q)∨R
に於いて、
①=③ ではない
従って、
(07)により、
(08)
例へば、
①  男性で(東京都民か埼玉県民)=東京都民の男性か、埼玉県民の男性。
③(男性で東京都民)か埼玉県民  =東京都民の男性か、埼玉県民(の男性と女性)。
に於いて、
①=③ ではない。
然るに、
(09)
①  男性、東京都民埼玉県民=東京都民男性、埼玉県民男性。
③ 男性東京都民、埼玉県民=東京都民男性、埼玉県民(の男性と女性)。
に於いて、
①=③ ではない
従って、
(08)(09)により、
(10)
①  男性で(東京都民か埼玉県民)=男性の、東京都民か埼玉県民。
③(男性で東京都民)か埼玉県民  =男性の東京都民か、埼玉県民。
に於いて、
①=③ ではない
従って、
(10)により、
(11)
①  男性で(東京都民か埼玉県民)
⑪  男性の、東京都民か埼玉県民。
③(男性で東京都民)か埼玉県民
⑬  男性の東京都民か、埼玉県民。
に於いて、
① ならば、そのときに限って、⑪ であり、
③ ならば、そのときに限って、⑬ である。
然るに、
(12)
⑤ 男性で東京都民か埼玉県民
であれば、
⑪  男性の東京都民か埼玉県民。
であるか、
⑬  男性の東京都民か埼玉県民(の男性と女性)。
であるかの、いづれかである。
従って、
(11)(12)により、
(13)
⑤ 男性で東京都民か埼玉県民
であれば、
①  男性で東京都民か埼玉県民
であるか、
男性で東京都民か埼玉県民
であるかの、いづれかである。
従って、
(13)により、
(14)
⑤ 男性で東京都民か埼玉県民
といふ「日本語」には、
①  男性で東京都民か埼玉県民
男性で東京都民か埼玉県民
といふ「括弧」が、無ければならない。
令和元年08月24日、毛利太。

0 件のコメント:

コメントを投稿