离散数学∧∨的问题?在计算过程中：∧可以理解成“且”；∨可以理解成“或”；┐可以当成负号.这样说对吗?

Question

离散数学∧∨的问题?
在计算过程中： ∧可以理解成“且”；∨可以理解成“或”；┐可以当成负号.这样说对吗?

Answer 1

前2个对了,最后一个当成逻辑“非”以下是常见《离散数学》符号表 " 全称量词（任意量词） $ 存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效,公式在E上可满足）┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”,“可兼或”）运算→ 命题的“条件”运算?命题的“双条件”运算的哪里不清欢迎追问,