命題論理の自然演繹における諸定理 【6】交換律1-1の証明

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

微分differential

1変数関数の「微分可能」「微分係数」「導関数」定義。
項目「微分differential」の文字体裁を改善。

論理法則

論理法則をリニューアル。

定義：リーマン・スティルチェス積分

リーマン・スチルチェス積分定義についてのノート。文字体裁の改善

NKにおける冪等律の証明図

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

テイラー展開・マクローリン展開

関数の多項式近似3－テイラー展開・マクローリン展開。数式中の指数表示の不具合を解消。

有限区間での広義積分についての微分積分学の基本定理解析学の基本定理

有限区間での広義積分についての微分積分学(解析学)の基本定理。文字体裁改善。

命題論理の形式的体系の派生規則

命題論理の構文論に、形式的体系の派生規則を追加。

否定の定義・否定除去則導入則の起源

命題論理の自然演繹：￢導入則・￢除去則に、
否定の定義・否定除去則導入則の起源を追加。

存在命題 「∃変項∈S 一項述語」の読み下し例

  「∃変項∈S　一項述語」の読み下し例一覧から、

• ∃x P(x)の読み一覧 
• ∃x P(x,y)の読み一覧 
• ∃x∈X P(x,y)の読み一覧 
• ∀x P(x)の読み一覧 
• ∀x∈X P(x)の読み一覧 

へリンク。