单项选择题
下列命题公式中是矛盾式的有()。
A.(p→¬p)→¬pB.¬(q→p )∧pC.(¬p →q)→(q→¬p )D.(p∨q)→r
单项选择题 ∗是定义在Z上的二元运算,∀x,y∈Z,x∗y =x y +x−y,则∗的幺元和零元分别是()。
单项选择题 下列各组数中,哪个可以构成无向图的度数列()。
单项选择题 在有界格中,若一个元素有补元,则补元()。