A.Q→HB.H→GC.D.
填空题命题公式(P ∧Q)→P 是()。
单项选择题与命题公式P →(Q →R)等值的公式是()。
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