填空题 设B为含命题变项p、q、r的矛盾式，则公式B∧（（pq）→r）的类型为（）。

填空题 设A为含命题变项p、q、r的重言式，则公式A∨（（p∧q）→r）的类型为（）。

问答题 判断集合关于指定的运算是否构成半群、独异点的群：一元实系数多项式的集合关于多项式的乘法。