代数学の文献表

代数のビブリオグラフィーを更新。

n項述語・n変項命題関数の全称量化

n項述語・n変項命題関数の全称量化∀x P(x₁,…,x_n)をアップロード。

measure theoryの文献一覧

測度論のビブリオグラフィーも更新。

∃ x ( n > x )

二項述語・2変項命題関数の存在量化の具体例∃ x ( n > x )

線形代数文献情報

線型代数のビブリオグラフィーも更新。

∃x∈S "x loves y", ∃y∈T "x loves y"

２項述語の存在量化の具体例 ∃x∈S  "x loves y", ∃y∈T  "x loves y"をアップロード。

bibliography

数学全般を扱う文献の一覧に、丸善ジュンク堂の書籍データリンク追加。

∃x P(x)

一項述語・1変項命題関数を存在量化した存在命題を更新。