关于以下比例逻辑断言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是正确的。
这个问题的测验