「断定記号（├ ）」と「条件的証明（ＣＰ）」。

（01）
① ＡなのでＢである（Ａ├ Ｂ）。
といふ風に、「言へる」のであれば、「その前に」、
② ＡならばＢである（Ａ→ Ｂ）。
といふ「決まり（ルール）」や、「習慣」が、無ければならない。
然るに、
（02）
１（１）Ｐ　　　　　Ａ
１（２）Ｐ∨Ｑ　　　１∨Ｉ
　（３）Ｐ→Ｐ∨Ｑ　１２ＣＰ
といふ「計算」、すなはち、
Ｐ（１）Ｐ　　　　　Ａ
Ｐ（２）Ｐ∨Ｑ　　　１∨Ｉ
　（３）Ｐ→Ｐ∨Ｑ　１２ＣＰ
といふ「計算」は、
① Ｐなので、Ｐ∨Ｑである（Ｐ├ Ｐ∨Ｑ）。何故ならば、
①「選言導入（∨Ｉ）」といふ「決まり（ルール）」が有るからであって、
①「選言導入（∨Ｉ）」といいふのは、
② Ｐならば、Ｐ∨Ｑである（Ｐ→Ｐ∨Ｑ）。
といふ「決まり（ルール）」である。
といふ風に、解することが、出来る。
然るに、
（03）
　　１（１）Ｐ＆Ｑ　　　Ａ
　　１（２）Ｐ　　　　　１＆Ｅ
　　　（３）Ｐ＆Ｑ→Ｐ　１２ＣＰ
といふ「計算」、すなはち、
Ｐ＆Ｑ（１）Ｐ＆Ｑ　　　Ａ
Ｐ＆Ｑ（２）Ｐ　　　　　１＆Ｅ
　　　（３）Ｐ＆Ｑ→Ｐ　１２ＣＰ
といふ「計算」は、
① Ｐ＆Ｑなので、Ｐである（Ｐ＆Ｑ├ Ｐ）。何故なら、
①「連言除去（＆Ｅ）」といふ「決まり（ルール）」が有るからであって、
①「連言除去（＆Ｅ）」といふのは、
② Ｐ＆Ｑならば、Ｐである（Ｐ＆Ｑ→ Ｐ）。
といふ「決まり（ルール）」である。
といふ風に、解することが、出来る。
然るに、
（04）
　　　　１　（１）　Ｐ→　Ｑ　Ａ
　　　　　２（２）　　　～Ｑ　Ａ
　　　　１２（３）～Ｐ　　　　１２ＭＴＴ
　　　　１　（４）～Ｑ→～Ｐ　２３ＣＰ
といふ「計算」、すなはち、
Ｐ→Ｑ　　　（１）　Ｐ→　Ｑ　Ａ
Ｐ→Ｑ，～Ｑ（２）　　　～Ｑ　Ａ
Ｐ→Ｑ，～Ｑ（３）～Ｐ　　　　１２ＭＴＴ
Ｐ→Ｑ　　　（４）～Ｑ→～Ｐ　２３ＣＰ
といふ「計算」は、
① Ｐ→Ｑ，～Ｑなので、～Ｐである（Ｐ→Ｑ，～Ｑ├ ～Ｑ）。何故ならば、
①「否定否定式（ＭＴＴ）」といふ「決まり（ルール）」が有るからであって、
①「否定否定式（ＭＴＴ）」といふのは、
② Ｐ→Ｑ，～Ｑならば、～Ｐ（（Ｐ→Ｑ，～Ｑ）→～Ｐ）。
といふ「決まり（ルール）」である。
といふ風に、解することが、出来る。
従って、
（02）（03）（04）により、
（05）
（３）Ｐ→Ｐ∨Ｑ　１２ＣＰ
（３）Ｐ＆Ｑ→Ｐ　１２ＣＰ
（４）～Ｑ→～Ｐ　２３ＣＰ
といふ、３つの「条件的証明（ＣＰ）」は、上から順に、
（ⅰ）選言導入（∨Ｉ）
（ⅱ）連言除去（＆Ｅ）
（ⅲ）否定否定式（ＭＴＴ）
といふ、「決まり（ルール）」を、示してゐる。
従って、
（01）（05）により、
（06）
（ⅰ）今日、明日は物忌なれば、蔀もまゐらぬぞ（枕草子）。
（〃）今日、明日は物忌なので、蔀も開けないのです。
といふのであれば、
（ⅱ）その日が物忌みであるならば、蔀も開けない。
といふ「決まり（習慣）」が有った。
といふ、ことになる。
令和０２年１１月０８日、毛利太。