令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是重言式答案： (B)
说明： 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)’=偶然性
偶然性=重言式或矛盾。
这个问题的测验