问答题
试证明下列各公式是重言式： ①（P∧（P→Q））→Q ② ③（（P→Q）∧（Q→R））→（P→R） ④（P→（Q→R））→（（P→Q）→（P→R））
设S={0，1，2，3}，为模4乘法，即 问〈S，〉构成什么代数系统（半群，独异点，群）？为什么？
微信扫一扫,加关注免费搜题
为模4乘法，即
