├ 断定符(公式在 L 中可证)╞ 满足符(公式在 E上有效,公式在 E上可满足)┐命题的 “非”运算∧ 命题的 “合取 ”(“与”)运算∨ 命题的 “析取 ”(“或”,“可兼或 ”)运算→ 命题的 ...

关注我们的公众号

微信公众号