「選言導入の規則」は「少しも、不自然ではない」（其の？3）。

（01）
１　　（１）　　Ｐ　　　　　　Ａ
１　　（２）　　Ｐ∨Ｑ　　　　１選言導入
１　　（３）　　Ｑ∨Ｐ　　　　２交換法則
１　　（４）～～Ｑ∨Ｐ　　　　３ＤＮ
１　　（５）　～Ｑ→Ｐ　　　　４含意の定義
１　　（６）　　Ｐ∨～Ｑ　　　１選言導入
１　　（７）　～Ｑ∨Ｐ　　　　６交換法則
１　　（８）　　Ｑ→Ｐ　　　　７含意の定義
　　　（９）　～Ｑ∨Ｑ　　　　９排中律
　ア　（ア）　～Ｑ　　　　　　Ａ
１ア　（イ）　　　　Ｐ　　　　５アＭＰＰ
　　ウ（ウ）　　　　Ｑ　　　　Ａ
１　ウ（エ）　　　　Ｐ　　　　８ウＭＰＰ
１　　（オ）　　　　Ｐ　　　　９アイウエ∨Ｅ
１　　（カ）（～Ｑ∨Ｑ）→Ｐ　９オＣＰ
従って、
（01）により、
（02）
Ｐ├（～Ｑ∨Ｑ）→Ｐ　
といふ「推論（連式）」、すなはち、
Ｐである。故に、（Ｑでないか、Ｑである。）としても、Ｐである。
といふ「推論（連式）」は「正しい」。
然るに、
（03）
「Ｑでない。」は「本当（真）である。」⇔「Ｑである。」は「ウソ（偽）である。」
「Ｑである。」は「本当（真）である。」⇔「Ｑでない。」は「ウソ（偽）である。」
従って、
（02）（03）により、
（04）
Ｐ├（～Ｑ∨Ｑ）→Ｐ　
といふ「推論（連式）」、すなはち、
Ｐである。故に、（Ｑでないか、Ｑである。）としても、Ｐである。
といふ「推論（連式）」、すなはち、
Ｐである。故に、（Ｑが偽であるとしても、Ｑが真であるとしても、）いづれにせよ、Ｐである。
といふ「推論（連式）」は「正しい」。
従って、
（01）～（04）により、
（05）
１　　（１）　　Ｐ　　　　　　Ａ
１　　（２）　　Ｐ∨Ｑ　　　　１選言導入
に於いて、
　　　　　　　　　　Ｑ　が「偽」であっても、
　　　　　　　　　　Ｑ　が「真」であっても、いづれにせよ、
　　　　　　　　Ｐ　　　は「真」である。
従って、
（05）により、
（06）
１　　（１）「ソクラテスは人間である。」　　　　　　　　　Ａ
１　　（２）「ソクラテスは人間である。」か「Ｑである。」　１選言導入
に於いて、
　　　　　　「Ｑである。」が「偽」であっても、
　　　　　　「Ｑである。」が「真」であっても、いづれにせよ、
　　　　　　「ソクラテスは人間である。」は「真」である。
従って、
（06）により、
（07）
１　　（１）「ソクラテスは人間である。」　　　　　　　　　　　　　Ａ
１　　（２）「ソクラテスは人間である。」か「バカボンは天才だ。」　１選言導入
に於いて、
　　　　　　「バカボンは天才だ。」が「偽」であっても、
　　　　　　「バカボンは天才だ。」が「真」であっても、いづれにせよ、
　　　　　　「ソクラテスは人間である。」は「真」である。
然るに、
（08）
①「真∨真」＝「真か真」
②「真∨偽」＝「真or偽」
に於いて、
① は「真」であり、
② も「真」である。
従って、
（07）（08）により、
（09）
１　　（１）「ソクラテスは人間である（真）。」　　　　　　　　　　　　　　　　Ａ
１　　（２）「ソクラテスは人間である（真）。」か「バカボンは天才だ（？）。」　１選言導入
に於いて、
　　　（１）は「真」であり、
　　　（２）も「真」である。
令和元年０９月０２日、毛利太。