論理・集合の文献リンク。ためしに、機能拡張。

論理・集合の文献

論理・集合の文献リンク更新。

線形代数文献一覧

線形代数文献一覧のリンク修正。

測度論とルベーグ積分のためのビブリオグラフィー

測度論とルベーグ積分のためのビブリオグラフィーも、修正。

代数学のビブリオグラフィー

代数学のビブリオグラフィーについても文献情報へのリンク修正。

文献情報

文献情報へのリンク切れを修正。
数学全般を扱う文献のビブリオグラフィー

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

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

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

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

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

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

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

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