JA
EN
数学のたな
0
0
非真部分の記法 | 数学のたな
一階論理
TeX
非真部分の記法
定義本文
日
式
¬
(
v
1
⊊
v
2
)
\neg\,(\,v_1\subsetneq v_2\,)
¬
(
v
1
⊊
v
2
)
を
v
1
⊈
v
2
v_1\not\subseteq v_2
v
1
⊆
v
2
と書く。