该公告已过公示时间，对该公告内容进行下架处理，给您带来的不便敬请谅解。

【试题练习】

矛盾式又称永假式、不可满足公式，是逻辑演算的一类公式。如果一个公式，对于它的任一解释下真值都为假，便称是矛盾式。
根据上述定义，下列符合矛盾式的是：

A.x的绝对值大于1

B.班主任是男的或者班主任不是男的

C.今天可能下雨

D.“今天上课”并且“今天不上课”

正确答案：D