设 p 和 q 是两个命题。考虑命题逻辑中的以下两个公式。
S1: (¬p∧(p∨q))→q
S2: q→(¬p∧(p∨q)) 以下哪个选项是正确的?
(A) S1 和 S2 都是重言式。
(B) S1 是重言式但 S2 不是重言式
(C) S1 不是重言式但 S2 是重言式
(D) Niether S1 和 S2 是同义反复答案：(乙)
解释： S1： (¬p∧(p∨q))→q = p'(p+q) → q = p + p’q’ + q = p + q’ + q = p + true = 重言式
S2： q→(¬p∧(p∨q)) = q’ + p'(p+q) = q’ + p’q = q’ + p’ = (pq)’ = 偶然性
偶然性=既不是同义反复也不是矛盾。
这个问题的测验