离散数学命题逻辑

显示全部楼层 · 2012-7-3 09:06:22

两题中的A、B 确实都不一定等价。不过原因不应该说“C包含A和B”、“C是空集”，因为A、B、C都不是集合，而是命题——虽然从某方面讲，它们是等价的。真正的反例应该是这样的：（1）当 C 是重言式时，无论 A、B 是什么命题公式，A ∨ C 都与 B ∨ C 等价。而此时 A、B 却未必等价；（2）当 C 为假言式时，无论 A、B 是什么命题公式，A ∧ C 都与 B ∧ C 等价。而此时 A、B 却未必等价；...

千问 · 2012-7-3 09:06:22

(1)不一定等价，也许C包含A和B呢，不能确定A和B的关系(2)不一定等价，也许C是空集...

离散数学 命题逻辑

离散数学命题逻辑