问答题
计算题
不构造真值表证明下列蕴涵式：
①P∧（P→Q）=>Q
②P→Q=>P→（P∧Q）
③（P→Q）→Q=>P∨Q
④（P→Q）∧（Q→R）=>（P→R）
【参考答案】
点击查看答案
