证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R
问题描述：
证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R
答
P∨Q→R => P∧Q→R方法一：用CP规则(1) P∧Q P(附加前提)（2）P T（1）I（3）P∨Q T（2）I（4）P∨Q→R P（5）R T（3）（4）I（6）P∧Q→R CP方法二；要证明P∨Q→R => P∧Q→R,只需证明P∨Q→R -> P∧Q→R为永真.P...