定义符号

定义符号

符号	含义
∀x	通用量词：存在 x
∃x	存在量词：存在 x
a:=b	a由 b定义
a=:b	b由 a定义
a∝b	a正比于 b，即 a =常量 ⋅ b
⇔	当且仅当
⇒	暗含

符号

相关内容

热点知识

新收录