数学についてのwebノート
更新履歴。
2012年1月19日木曜日
論理目次:n項述語全称量化・存在量化を追加
論理目次
に、
n
項述語全称量化 ∀
x
i
P(
x
1
,…,
x
n
)
n
項述語存在量化∃
x
i
P(
x
1
,…,
x
n
)
n
項述語全称量化 ∀
x
i
∈
X
P(
x
1
,…,
x
n
)
n
項述語存在量化∃
x
i
∈
X
P(
x
1
,…,
x
n
)
へのリンクを追加。
‹
›
ホーム
ウェブ バージョンを表示