(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 件のコメント:
コメントを投稿