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

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

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

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

存在記号∃の読み

∃記号の読み一覧。

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

へリンク。