不挂科搜题免费

问题:

中国大学MOOC: 公式¬(P→(P∨Q))∧R 的类型是

答案:

矛盾式