一、单项选择题(每小题3分,共18分)
1.下列命题联结词集合中,哪个是最小联结词组?( )
A. {¬,→} B. {¬,⋀,⋁} C. {↑} D. {⋀,→}
2. 命题公式P→(Q↓P)是( )
A.重言式 B.可满足式 C. 矛盾式 D. 等值式
3. 设 ,则下列命题哪个正确( )
A.Q⊂ B.Q⊆ C. P⊂Q D.P=Q
4. 设个体域A={a,b}, 公式∀xP(x)⋀∃xS(x)在A中消去量词后应为( )
A.P(x)⋀S(x) B.P(a)⋀(b)⋀(S(a)⋁S(b)) C.P(a)⋀ S(b) D.P(a)⋀(b)⋀S(a)⋁S(b)
5. 设(L,≼)是一条链,其中|L|≽3, 则(L,≼)( )
A. 不是格 B. 是有补格 C. 是分配格 D.是布尔格
6. 设有33盏灯,拟公用一个电源,则至少需要五插头的接线板数( )
A. 7 B. 8 C. 9 D. 14