命題論理の自然演繹：∨除去則

命題論理の自然演繹：∨除去則。
仮定を直ちに落とすケースを追記。使用例として、分配律1-1の証明、選言的三段論法にリンク。

一階述語論理の統語論 ― 言語(記号集合)の設定

一階述語論理の統語論　―　言語(記号集合)の設定を新規作成。アップロード。

命題論理の自然演繹―派生推論規則

命題論理の自然演繹―派生推論規則についてのノートを新規作成。アップロード。

論理目次：基本事項・命題論理・述語論理に類別

論理の目次を更新。
論理の項目を基本事項・命題論理・述語論理に類別。