「選言導入の推論規則」。

（01）
Ｐが真である場合には「ＰかＱ」は必ず真になり、Ｑが真である場合には「ＱかＰ」は必ず真になります。これは「選言導入」と呼ばれる推論規則です（ＷＩＩＳ）。
然るに、
（02）
① Ｐならば、ＰかＱである。 然るに、
② Ｐである。 　　　　　　　従って、
③ 　　　　　ＰかＱである。
といふ「推論」は、明らかに、「妥当」である。
然るに、
（03）
② Ｐである。 　　　　　　　従って、
③ 　　　　　ＰかＱである。
といふのであれば、いづれにせよ、
② Ｐである。
従って、
（04）
② Ｐである。 　　　　　　　従って、
③ 　　　　　ＰかＱである。
といふのであれば、「正しく」は、
② Ｐであるが、
③ Ｑであるかどうかは、分からない。
といふ。ことになる。
従って、
（05）
② 彼女は背が高い。従って、
③ 彼女は背が高いか、美人である。
といふ「言ひ方」は、「正しく」は、
③ 彼女は背は高いが、美人であるかどうかは、分からない。
といふ、ことになる。
然るに、
（06）
この規則は、推論の中で意識されることがおおよそないといえます。「彼女は背が高い」という主張をＰとしましょう。すると、このＰから「彼女は背が高い　または　彼女は美人だ」が導けます。この場合、主張Ｑは「彼女は美人だ」に対応しています。しかし、「彼女は背が高い」がわかっているのに、わざわざ、「彼女は背が高い　または　彼女は美人だ」とつなげる場面は普通の会話ではあまりないでしょう。数学の証明でも、これが使われる場面はほとんど見かけないような気がします（小島寛之、証明と論理に強くなる、2017年、１５６頁）。
従って、
（01）（05）（06）により、
（07）
 この規則（選言導入）を、
「彼女は背が高い　または　彼女は美人だ」と理解するのは、「マチガイ」であって、
「彼女は背が高い　しかし　美人かどうかは、分からない」とするのが、「正しい」。
従って、
（08）
１（１）Ｐ　　　　　Ａ
１（２）Ｐ∨Ｑ　　　１∨Ｉ（選言導入）
　（３）Ｐ→Ｐ∨Ｑ　　　　　　　１２ＣＰ
　（〃）Ｐならば、ＰかＱである。１２ＣＰ
といふ、「公理（axiom）」に於ける、
１（２）Ｐ∨Ｑ　　　１∨Ｉ（選言導入）
といふ「それ」は、
１により（２）Ｐであるが、Ｑかどうかは分からない。　１選言導入。
といふ「意味」である。
令和元年１２月１９日、毛利太。