问答题
令S={a，b}，S上有4个二元运算：*，o，●和□，分别由表确定。
不构造真值表证明下列蕴涵式： ①P∧（P→Q）=>Q ②P→Q=>P→（P∧Q） ③（P→Q）→Q=>P∨Q ④（P→Q）∧（Q→R）=>（P→R）
微信扫一扫,加关注免费搜题
