(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イVE
(ⅲ)
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) 46&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
3 (3) P A
3 (4)~~R∨P 3∨I
5 (5) R A
5 (6) ~~R 5DN
5 (7)~~R∨P 6∨I
1 (8)~~R∨P 23457∨E
1 (9) ~R→P 8含意の定義
1 (ア) Q∨R 1&E
イ (イ) Q A
イ (ウ) ~~R∨Q ア∨I
エ (エ) R A
エ (オ) ~~R ウDN
エ (カ) ~~R∨Q オ∨I
1 (キ) ~~R∨Q アイウエカ∨E
1 (ク) ~R→Q キ含意の定義
ケ(ケ) ~R A
1 ケ(コ) P 9ケMPP
1 ケ(サ) Q クケMPP
1 ケ(シ) P&Q コサ&
1 (ス)~R→(P&Q) ケシCP
1 (セ) P∨(P&Q) ス含意の定義
1 (ソ)(P&Q)∨P セ交換法則
従って、
(01)により、
(02)
① P&(Q∨R)
②(P&Q)∨(P&R)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
①=② であって、
③=④ である。
cf.
「分配法則(Ⅰ・Ⅱ)」
然るに、
(02)により、
(03)
① 偽&(Q∨真)
③(偽&Q)∨真
に於いて、
① は、「式全体」として「偽」であるが、
③ は、「式全体」として「真」である。
従って、
(02)(03)により、
(04)
① P&(Q∨R)
②(P&Q)∨(P&R)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
①=② であって、
③=④ であるが、
①=③ ではない。
従って、
(04)により、
(05)
① P&Q∨R
③ P&Q∨R
のやうに、
① P&(Q∨R)
③(P&Q)∨R
から「括弧」を除くと、
①=③ であるのか、
①=③ でないのかが、「分からない」。
従って、
(06)
① P&(Q∨R)
③(P&Q)∨R
に於いて、「括弧」は、「重要」である。
然るに、
(07)
① 男性で、千葉県民か埼玉県民。
② 男性の千葉県民か、男性の埼玉県民。
に於いて、
①=② である。
然るに、
(08)
③ 男性の千葉県民か、埼玉県民。
④ 男性か埼玉県民で、千葉県民か埼玉県民。
に於いて、
③ は「女性の千葉県民」以外である。
(09)
④ 男性か埼玉県民で、
といふのであれば、その時点で、
④「女性の千葉県民」は「除外」される。
従って、
(09)により、
(10)
④ 男性か埼玉県民で、尚且つ、千葉県民か埼玉県民。
といふことは、
④ は「女性の千葉県民」以外である。
従って、
(08)(09)(10)により、
(11)
③ 男性の千葉県民か、埼玉県民。
④ 男性か埼玉県民で、千葉県民か埼玉県民。
に於いて、
③ 男性千葉県民か、男性埼玉県民か、女性性玉県民。
④ 男性千葉県民か、男性埼玉県民か、女性性玉県民。
である。
従って、
(11)により、
(12)
③ 男性の千葉県民か、埼玉県民。
④ 男性か埼玉県民で、千葉県民か埼玉県民。
に於いて、
③=④ である。
(02)(05)(07)(12)により、
(13)
男=男性
千=千葉県民
埼=埼玉県民
&=で、
∨=か
とするならば
① 男性で、千葉県民か埼玉県民。
② 男性の千葉県民か、男性の埼玉県民。
③ 男性の千葉県民か、埼玉県民。
④ 男性か埼玉県民で、千葉県民か埼玉県民。
といふ「日本語」は、
① 男&(千∨埼)
②(男&千)∨(男&埼)
③(男&千)∨埼
④(男∨埼)&(千∨埼)
といふ「論理式」に「相当」する。
従って、
(13)により、
(14)
① 男&(千∨埼)
②(男&千)∨(男&埼)
③(男&千)∨埼
④(男∨埼)&(千∨埼)
に於ける「括弧」は、
① 男性で、千葉県民か埼玉県民。
② 男性の千葉県民か、男性の埼玉県民。
③ 男性の千葉県民か、埼玉県民。
④ 男性か埼玉県民で、千葉県民か埼玉県民。
に於ける、「句読点(、)」に「相当」する。
(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イVE
(ⅲ)
1 (1) P∨(Q&R) A
2 (2) P A
2 (2) P∨Q 2∨I
2 (3) P∨R 2∨I
2 (4)(P∨Q)&(P∨R) 23&I
5(5) Q&R A
5(6) Q 5&E
5(7) R 5&E
5(8) P∨Q 6∨I
5(9) P∨R 7∨I
5(ア)(P∨Q)&(P∨R) 89&I
1 (イ)(P∨Q)&(P∨R) 1245ア∨E
(ⅳ)
1 (1) (P∨Q)&(P∨R) A
1 (2) P∨Q 1&E
3 (3) P A
3 (4)~~P 3DN
3 (5)~~P∨Q 4∨I
6 (6) Q A
6 (7)~~P∨Q 6∨I
1 (8)~~P∨Q 23567∨E
1 (9) ~P→Q 8含意の定義
1 (ア) P∨R 1&E
イ (イ) P A
イ (ウ) ~~P イDN
イ (エ) ~~P∨R ウ∨I
オ (オ) R A
オ (カ) ~~P∨R オ∨I
1 (キ) ~~P∨R アイエオカ∨E
1 (ク) ~P→R キ含意の定義
ケ(ケ) ~P A
1 ケ(コ) Q 9ケMPP
1 ケ(サ) R クケMPP
1 ケ(シ) Q&R コサ&I
1 (ス) ~P→ Q&R ケシCP
1 (ソ) P∨(Q&R) ス含意の定義
従って、
(01)により、
(02)
① P&(Q∨R)
②(P&Q)∨(P&R)
③ P∨(Q&R)
④(P∨Q)&(P∨R)
に於いて、
①=② は、「分配法則(Ⅰ)」であって、
③=④ は、「分配法則(Ⅱ)」である。
然るに、
(03)
(ⅲ)
1(1)(P&Q)∨R A
1(2) R∨(P&Q) 1交換法則
1(3)(R∨P)&(R∨Q) 2分配法則(Ⅱ)
1(4)(R∨P) 3&E
1(5)(P∨R) 4交換法則
1(6) (R∨Q) 3&E
1(7) (Q∨R) 5交換法則
1(8)(P∨R)&(Q∨R) 57&I
(ⅳ)
1(1)(P∨R)&(Q∨R) A
1(2)(P∨R) 1&E
1(3)(R∨P) 2交換法則
1(4) (Q∨R) 1&E
1(5) (R∨Q) 3交換法則
1(6)(R∨P)&(R∨Q) 35&I
1(7) R∨(P&Q) 6分配法則(Ⅱ)
1(8)(P&Q)∨R 7交換法則
従って、
(03)により、
(04)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
③=④ は、「分配法則(Ⅱ)」である。
従って、
(02)(03)(04)により、
(05)
① P&(Q∨R)
②(P&Q)∨(P&R)
③(P&Q)∨R
④(P∨R)&(Q∨R)
に於いて、
①=② は、「分配法則(Ⅰ)」であって、
③=④ は、「分配法則(Ⅱ)」である。
然るに、
(06)
① 偽&(Q∨R)
であれば、
②(P&Q)∨(P&R)
は、それだけで、「偽」である。
従って、
(06)により、
(07)
① P が「真」であることは、
②(P&Q)∨(P&R) が「真」であるための「必要条件」である。
従って、
(06)(07)により、
(08)
① P&(Q∨真)
であったとしても、
① 偽&(Q∨真)
であれば、
②(P&Q)∨(P&R)
は、それだけで、「偽」である。
従って、
(08)により、
(09)
① R が「真」であることは、
②(P&Q)∨(P&R) が「真」であるための「十分条件」ではない。
然るに、
(10)
③(P&Q)∨真
であれば、
④(P∨R)&(Q∨R)
は、それだけで、「真」である。
従って、
(10)により、
(11)
③ R が「真」であることは、
④(P∨R)&(Q∨R) が「真」であるための「十分条件」である。
従って、
(10)(11)により、
(12)
④ Pが「真」でなくとも、
④(P∨R)&(Q∨R) は「真」である。
従って、
(12)により、
(13)
③ R が「真」であることは、
④(P∨R)&(Q∨R) が「真」であるための「必要条件」ではない。
従って、
(05)~(13)により、
(14)
① P&(Q∨R)
③(P&Q)∨R
に於いて、
① P は、① が「真」であるための「必要条件」であって、
① R は、① が「真」であるための「十分条件」ではなく、
③ P は、③ が「真」であるための「必要条件」ではなく、
③ R は、③ が「真」であるための「十分条件」である。
因みに、
(15)
「命題計算」の際に、「分配法則」を使ったのは、今までに、
(03)
(ⅲ)
1(2) R∨(P&Q) 1交換法則
1(3)(R∨P)&(R∨Q) 2分配法則(Ⅱ)
(ⅳ)
1(6)(R∨P)&(R∨Q) 35&I
1(7) R∨(P&Q) 6分配法則(Ⅱ)
の、「二度」だけである。