两题中的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 却未必等价；
命题逻辑26．设A、B、C为任意命题公式.（1）已知A Ú C Û B Ú C,问A
2个回答
相关问题
-
设A,B,C为任意的命题公式,证明:等值关系有
-
命题公式（PÚQ）的合取范式是 ( )．
-
已知下列命题：①a+(-a)=0；②(a+b+c)=a+(b+c)；③（a*b）*c=a*(b*c).其中正确命题的个数
-
设a，b，c都是实数．已知命题p：{a，b，c}∈{x|x⊆{a，b，c}}．命题q：若a＞b＞0，c≠0，则ac＞bc
-
已知a，b，c为实数，下列命题中，假命题是（ ） A．如果a＞b，那么a+c＞b+c B．如果a＞b，那么a-c＞b-
-
已知命题 命题 则下列命题中为真命题的是( ) A． B． C． D．
-
对于任意实数a，b，c，d，命题：
-
给出命题：“已知a、b、c、d是实数，若a≠b且c≠d，则a+c≠b+d”.对原命题、逆命题、否命题、逆否命题而言，其中
-
（2011•山东）已知a，b，c∈R，命题“若a+b+c=3，则a2+b2+c2≥3”的否命题是（ ）
-
已知命题“a≥b⇒c＞d”、“c＞d⇒a≥b”和“a＜b⇔e≤f”都是真命题，那么“c≤d”是“e≤f”的（ ） A．