选择关于以下比例逻辑断言 S 的正确选项：
S:((P∧Q)→R)→((P∧Q)→(Q→R)) (A) S 既不是重言式也不是矛盾
(B) S 是重言式
(C) S 是矛盾的
(D) S 的前件在逻辑上等价于 S 的后件答案： (B) (D)
解释： S 的先行词：(P ^ Q) → R
≡ ~( P^Q) v R
≡ ~P v ~Q v R
S 的结果：(P ^ Q) → (Q → R)
≡ (P ^ Q) → (~Q v R)
≡ ~( P^Q) v (~Q v R)
≡ ~P v ~Q v (~Q v R)
≡ ~P v ~Q v R S 的前因等价于 S 的后因。因此选项(D)是正确的。
A → A 始终是重言式。选项B是对的。
这个问题的测验