命題論理の自然演繹における諸定理 【26】入替律の証明(2)

命題論理の自然演繹における諸定理 【26】入替律の証明(2)を新規作成、アップロード。

ド・モルガンの法則(4):自然演繹NKにおけるの証明

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則　の証明(4)を新規作成、アップロード。

￢A⇒(A⇒B)：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【22】￢A⇒(A⇒B)の証明を新規作成、アップロード。

⇒から否定と選言を使った表現への言い換え:自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【25】否定と選言を使った⇒の言い換えの証明(1-1)を新規作成、アップロード。

入替律:自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【26】入替律の証明を新規作成、アップロード。

構成的両刀論法：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【20】構成的両刀論法の証明を新規作成、アップロード。

パースの法則:NKにおける証明

命題論理の自然演繹における諸定理 【23】パースの法則 Peirce's lawを新規作成、アップロード。

添加律/ウカシェビッチŁukasiewiczの第一公理:自然演繹における証明

命題論理の自然演繹における諸定理 ：添加律/ウカシェビッチŁukasiewiczの第一公理の証明を新規作成、アップロード。

紀伊国屋書店

解析学のビブリオグラフィー。
髙木貞治『解析概論』、 小平邦彦『解析入門I』『解析入門II』　のみ、
紀伊国屋書店へのリンク先を更新してみる。

移出律：NKにおける証明

命題論理の自然演繹における諸定理 【18】移出律の証明を新規作成、アップロード。