前件肯定式ModusPonens(MP)：自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【14】前件肯定式ModusPonens(MP)の証明を新規作成、アップロード。

命題論理の自然演繹 【13】推移律の証明

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

自然演繹における対偶律の証明

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

自然演繹における分配律の証明

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

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則 の証明(2)

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

命題論理の自然演繹における諸定理 【10】ド・モルガンの法則 の証明(1)

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

存在記号∃の読み

∃記号の読み一覧。

• n項述語・n変項命題関数の存在量化　∃xi P(x1, x2, …, xn) 
• n項述語存在量化　∃xi∈S P(x1,…,xn)

へリンク。

媒介変数微分公式

証明：媒介変数による微分。数式・文字の体裁改善。

命題論理の証明論・構文論：自然演繹

論理目次に、
命題論理の証明論・構文論：自然演繹
(認めらた操作,推論規則・公理一覧,定理一覧)
へのリンク追加

存在量化の読み下し例を相互リンク。

一項述語・1変項命題関数を存在量化した存在命題。
「∃変項　一項述語」の読み下し例一覧から、

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

へリンク。