課程代碼：02324
一、單項(xiàng)選擇題（本大題共15 小題，每小題1 分，共15 分）
在每小題列出的四個(gè)備選項(xiàng)中只有一個(gè)是符合題目要求的，請(qǐng)將其代碼填寫在題后的括號(hào)內(nèi)。錯(cuò)
選、多選或未選均無分。
1．下列命題公式為重言式的是（ ）
A．p→ (p∨q)
B．(p∨┐p)→q
C．q∧┐q
D．p→┐q
2．下列語句中不．是．命題的只有（ ）
A．這個(gè)語句是假的。
B．1+1=1.0
C．飛碟來自地球外的星球。
D．凡石頭都可練成金。
3．設(shè)p：我很累，q：我去學(xué)習(xí)，命題：“除非我很累，否則我就去學(xué)習(xí)”的符號(hào)化正確的是（ ）
A．┐p∧q
B．┐p→q
C．┐p→┐q
D．p→┐q
4．下列等價(jià)式正確的是（ ）
A．┐($x)AÛ($x)┐A
B．("x)("y)AÛ($x)("y)A
C．┐("x)AÛ($x)┐A
D．("x)(A(x) Ù B(x))Û("x)A(x) Ú ("x)B(x)
5．在公式($x)("y)(P(x, y) Ù Q(z))®($y)P( y, z)中變?cè)獃是（ ）
A．自由變?cè)?BR> B．約束變?cè)?BR> C．既是自由變?cè)?，又是約束變?cè)?BR> D．既不是自由變?cè)植皇羌s束變?cè)?BR> 6．設(shè)A={1，2，3}，A上二元關(guān)系S={<1，1>，<1，2>，<3，2>，<3，3>}，則S是（ ）
A．自反關(guān)系
B．反自反關(guān)系
C．對(duì)稱關(guān)系
D．傳遞關(guān)系
7．設(shè)集合X 為人的全體，在X 上定義關(guān)系R、S為R={|a，
b∈X∧a 是b 的母親}，那么關(guān)系{|a，b∈x∧ a是b的祖母}的表達(dá)式為（ ）
A．RoS
B．R-1oS
C．SoR
D．RoS-1
一、單項(xiàng)選擇題（本大題共15 小題，每小題1 分，共15 分）
在每小題列出的四個(gè)備選項(xiàng)中只有一個(gè)是符合題目要求的，請(qǐng)將其代碼填寫在題后的括號(hào)內(nèi)。錯(cuò)
選、多選或未選均無分。
1．下列命題公式為重言式的是（ ）
A．p→ (p∨q)
B．(p∨┐p)→q
C．q∧┐q
D．p→┐q
2．下列語句中不．是．命題的只有（ ）
A．這個(gè)語句是假的。
B．1+1=1.0
C．飛碟來自地球外的星球。
D．凡石頭都可練成金。
3．設(shè)p：我很累，q：我去學(xué)習(xí)，命題：“除非我很累，否則我就去學(xué)習(xí)”的符號(hào)化正確的是（ ）
A．┐p∧q
B．┐p→q
C．┐p→┐q
D．p→┐q
4．下列等價(jià)式正確的是（ ）
A．┐($x)AÛ($x)┐A
B．("x)("y)AÛ($x)("y)A
C．┐("x)AÛ($x)┐A
D．("x)(A(x) Ù B(x))Û("x)A(x) Ú ("x)B(x)
5．在公式($x)("y)(P(x, y) Ù Q(z))®($y)P( y, z)中變?cè)獃是（ ）
A．自由變?cè)?BR> B．約束變?cè)?BR> C．既是自由變?cè)?，又是約束變?cè)?BR> D．既不是自由變?cè)植皇羌s束變?cè)?BR> 6．設(shè)A={1，2，3}，A上二元關(guān)系S={<1，1>，<1，2>，<3，2>，<3，3>}，則S是（ ）
A．自反關(guān)系
B．反自反關(guān)系
C．對(duì)稱關(guān)系
D．傳遞關(guān)系
7．設(shè)集合X 為人的全體，在X 上定義關(guān)系R、S為R={|a，
b∈X∧a 是b 的母親}，那么關(guān)系{|a，b∈x∧ a是b的祖母}的表達(dá)式為（ ）
A．RoS
B．R-1oS
C．SoR
D．RoS-1