JA
EN
数学のたな
0
0
否定論理式 | 数学のたな
数学の言葉と記号
TeX
否定
論理
ろんり
式
定義本文
日
式
φ
\varphi
φ
を
論理式
とするとき、
¬
φ
\neg\,\varphi
¬
φ
を
否定論理式
とよぶ。