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