JA
EN
数学のたな
0
0
不等の記法 | 数学のたな
一階論理
TeX
不等の記法
定義本文
日
式
¬
(
v
1
=
v
2
)
\neg\,(v_1=v_2)
¬
(
v
1
=
v
2
)
を
v
1
≠
v
2
v_1\ne v_2
v
1
=
v
2
と書く。