证明不存在整数a，b，c，d使得下面四式同时成立：
abcd-a=2031，abcd-b=985，abcd-c=183，abcd-d=501

令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）