「連言除去（＆I）」は「恒真式（トートロジー）」である。

（01）
（ⅰ）
１（１）　Ｐ＆　Ｑ　　　　仮定
１（２）　　　　Ｑ　　　　１連言除去
　（３）（Ｐ＆　Ｑ）→Ｑ　１２条件法
（ⅱ）
１（１）　Ｐ＆～Ｑ　　　　　仮定
１（２）　　　～Ｑ　　　　　１連言除去
　（３）（Ｐ＆～Ｑ）→～Ｑ　１２条件法
従って、
（01）により、
（02）
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「仮言命題」、すなはち、「連言除去」は、
（ⅰ）「仮定」
（ⅱ）「連言除去 」
（ⅲ）「条件法」
という「３つの規則」によって、「恒真式（トートロジー）」である。
といふことが、「判明」する。
然るに、
（03）
（ⅰ）
１　（１）　　Ｐ＆　Ｑ　　　　仮定
　２（２）　　Ｐ＆～Ｑ　　　　仮定
１　（３）　　　　　Ｑ　　　　１連言除去
　２（４）　　　　～Ｑ　　　　２連言除去
１２（５）　　Ｑ＆～Ｑ　　　　３４連言導入
１　（６）～（Ｐ＆～Ｑ）　　　２５背理法
１　（７）　～Ｐ∨　Ｑ　　　　６ド・モルガンの法則
１　（８）　　Ｐ→　Ｑ　　　　７含意の定義
１　（９）　　Ｐ　　　　　　　１連言除去
１　（ア）　　　　　Ｑ　　　　８９肯定肯定式
　　（イ）　（Ｐ＆　Ｑ）→Ｑ　２ア条件法
（ⅱ）
１　（１）　　Ｐ＆　Ｑ　　　　　仮定
　２（２）　　Ｐ＆～Ｑ　　　　　仮定
１　（３）　　　　　Ｑ　　　　　１連言除去
　２（４）　　　　～Ｑ　　　　　２連言除去
１２（５）　　Ｑ＆～Ｑ　　　　　３４連言導入
　２（６）～（Ｐ＆　Ｑ）　　　　１５背理法
　２（７）　～Ｐ∨～Ｑ　　　　　６ド・モルガンの法則
　２（８）　　Ｐ→～Ｑ　　　　　７含意の定義
　２（９）　　Ｐ　　　　　　　　２連言除去
　２（ア）　　　　～Ｑ　　　　　８９肯定肯定式
　　（イ）　（Ｐ＆～Ｑ）→～Ｑ　２ア条件法
従って、
（03）により、
（04）
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「仮言命題」、すなはち、「連言除去」は、
（ⅰ）「仮定」
（ⅱ）「連言除 」
（ⅲ）「連言導入」
（ⅳ）「背理法」
（ⅴ）「ド・モルガンの法則」
（ⅵ）「含意の定義」
（ⅶ）「肯定肯定式」
（ⅷ）「条件法」
という「６つの規則と、２つの定理」によって、「恒真式（トートロジー）」である。
といふことが、「判明」する。
従って、
（02）（04）により、
（05）
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「仮言命題」、すなはち、「連言除去」は、
（ⅰ）「仮定」
（ⅱ）「連言除去 」
（ⅲ）「条件法」
という「３つの規則」によって、「恒真式（トートロジー）」である、と「同時」に、
（ⅰ）「仮定」
（ⅱ）「連言除去」
（ⅲ）「連言導入」
（ⅳ）「背理法」
（ⅴ）「ド・モルガンの法則」
（ⅵ）「含意の定義」
（ⅶ）「肯定肯定式」
（ⅷ）「条件法」
という「６つの規則と、２つの定理」によって、「恒真式（トートロジー）」である。
従って、
（05）により、
（06）
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「連除去」といふ「規則」は、「それ自体」として「成り立ってゐる」といふのではなく、
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「連除去」といふ「規則」は、「仮定・連言除去・連言導入・背理法・ド・モルガンの法則・含意の定義・肯定肯定式・条件法」
といふ「規則や、定理」との「関係」に於いて、「成り立ってゐる。」といふ、ことになる。
然るに、
（07）

といふ「真理値表（ウィキペディア）」からは、
①（Ｐ＆　Ｑ）→　Ｑ
②（Ｐ＆～Ｑ）→～Ｑ
といふ「連除去」といふ「規則」が、「仮定・連言除去・連言導入・背理法・ド・モルガンの法則・含意の定義・肯定肯定式・条件法」
といふ「規則や、定理」との「関係」に於いて、「成り立ってゐる。」といふことを、「見て取ることが、出来ない」。
従って、
（07）により、
（08）
「真理値表」は、それだけを学んだとしても、「命題論理」を、理解することは、出来ない。
令和０３年０５月０１日、毛利太。