命題論理の自然演繹の定理【5】冪等律 idempotent law の証明

命題論理の自然演繹における諸定理 【5】冪等律 idempotent law の証明。派生推論規則の証明に対応。

「集合A,Bは互いに素」の定義とその言い換え

「集合A,Bは互いに素」の定義とその言い換え。
レイアウトが崩れるのを阻止することを狙った、ptからpxへの単位変更。

命題論理の自然演繹における定理・派生推論規則【4】二重否定律law of double negationの証明

命題論理の自然演繹における諸定理 【4】二重否定律　law of double negationの証明。派生推論規則の証明に対応。

命題論理の自然演繹における諸定理 【8】分配律の証明

命題論理の自然演繹における諸定理 【8】分配律の証明に解説を付与。