晨光曦微

摘要： ├ 断定符（公式在 L 中可证）╞ 满足符（公式在 E上有效，公式在 E上可满足）┐命题的 “非”运算∧ 命题的 “合取 ”（“与”）运算∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算→ 命题的 “条件 ”运算A<=>B 命题 A 与 B 等价关系A=>B 命题 A 与 B 的蕴涵关系A* 公式 阅读全文