A.(P ∨Q)→RB.(P ∧Q)→RC.(P →Q)→RD.P →(Q ∨R)
单项选择题设命题公式¬(P ∧(Q →¬P)),记作G,则使G 的真值指派为0的P,Q 的取值是()。
A.(0,0)B.(0,1)C.(1,0)D.(1,1)
单项选择题下列各Hasse图中,是格的有()。
A.AB.BC.CD.D
单项选择题下列命题公式中是矛盾式的有()。
A.(p→¬p)→¬pB.¬(q→p )∧pC.(¬p →q)→(q→¬p )D.(p∨q)→r
单项选择题设f :N→N,N为自然数,且,则f(0)和f({0})分别是()。
A.0,0B.0,{0}C.{0},{0}D.{0},0
单项选择题∗是定义在Z上的二元运算,∀x,y∈Z,x∗y =x y +x−y,则∗的幺元和零元分别是()。
A.不存在,0B.0,1C.1,不存在D.不存在,不存在