计算题

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

是否有自然数x,y,满足x2+2010=y2？

问答题是否有自然数x,y,满足x²+2010=y²？

求每个运算的单位元，零元及所有可逆元素的逆元

问答题求每个运算的单位元，零元及所有可逆元素的逆元

不构造真值表证明下列蕴涵式： ①P∧（P→Q）=>Q ②P→Q=>P→（P∧Q） ③（P→Q）→Q=>P∨Q ...

问答题

不构造真值表证明下列蕴涵式：
①P∧（P→Q）=>Q
②P→Q=>P→（P∧Q）
③（P→Q）→Q=>P∨Q
④（P→Q）∧（Q→R）=>（P→R）