西安电子科技大学$1.6.2逻辑推理软件学院现将问颠转化已知以下前提的条件下。能否推出含有单个命题变元的结论。P V Q, P→-R, S→-T, -S-→R, T步骤根据公式P(1)TP(2)S→-TT (1) (2) I-S(3)P(4)-S -→RT (3) (4) I(5)RP(6)P-→-R(7)-PP (5) (6) 1(8)PPVQ(9)QP (7) (8) I故是营业员乙作的案。西安电子科技大学 软件学院 现将问题转化已知以下前提的条件下，能否推出含有单 个命题变元的结论。 P ∨ Q，P→¬R，S→¬T，¬S→R，T (1) T P (2) S → ¬ T P 步骤 公式 根据 (3) ¬ S T (1) (2) I (4) P (6) P (5) R (7) ¬ P ¬S → R P → ¬ R P (5) (6) I (9) Q P (7) (8) I (8) P ∨ Q P 故是营业员乙作的案。 §1.6.2 逻辑推理 T (3) (4) I