課程代碼：02324
一、單項選擇題（本大題共15 小題，每小題1 分，共15 分）
在每小題列出的四個備選項中只有一個是符合題目要求的，請將其代碼填寫在題后的括號內。錯
選、多選或未選均無分。
1．下列命題公式為重言式的是（ ）
A．p→ (p∨q)
B．(p∨┐p)→q
C．q∧┐q
D．p→┐q
2．下列語句中不．是．命題的只有（ ）
A．這個語句是假的。
B．1+1=1.0
C．飛碟來自地球外的星球。
D．凡石頭都可練成金。
3．設p：我很累，q：我去學習，命題：“除非我很累，否則我就去學習”的符號化正確的是（ ）
A．┐p∧q
B．┐p→q
C．┐p→┐q
D．p→┐q
4．下列等價式正確的是（ ）
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)中變元y是（ ）
A．自由變元
B．約束變元
C．既是自由變元，又是約束變元
D．既不是自由變元，又不是約束變元
6．設A={1，2，3}，A上二元關系S={<1，1>，<1，2>，<3，2>，<3，3>}，則S是（ ）
A．自反關系
B．反自反關系
C．對稱關系
D．傳遞關系
7．設集合X 為人的全體，在X 上定義關系R、S為R={|a，
b∈X∧a 是b 的母親}，那么關系{|a，b∈x∧ a是b的祖母}的表達式為（ ）
A．RoS
B．R-1oS
C．SoR
D．RoS-1
一、單項選擇題（本大題共15 小題，每小題1 分，共15 分）
在每小題列出的四個備選項中只有一個是符合題目要求的，請將其代碼填寫在題后的括號內。錯
選、多選或未選均無分。
1．下列命題公式為重言式的是（ ）
A．p→ (p∨q)
B．(p∨┐p)→q
C．q∧┐q
D．p→┐q
2．下列語句中不．是．命題的只有（ ）
A．這個語句是假的。
B．1+1=1.0
C．飛碟來自地球外的星球。
D．凡石頭都可練成金。
3．設p：我很累，q：我去學習，命題：“除非我很累，否則我就去學習”的符號化正確的是（ ）
A．┐p∧q
B．┐p→q
C．┐p→┐q
D．p→┐q
4．下列等價式正確的是（ ）
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)中變元y是（ ）
A．自由變元
B．約束變元
C．既是自由變元，又是約束變元
D．既不是自由變元，又不是約束變元
6．設A={1，2，3}，A上二元關系S={<1，1>，<1，2>，<3，2>，<3，3>}，則S是（ ）
A．自反關系
B．反自反關系
C．對稱關系
D．傳遞關系
7．設集合X 為人的全體，在X 上定義關系R、S為R={|a，
b∈X∧a 是b 的母親}，那么關系{|a，b∈x∧ a是b的祖母}的表達式為（ ）
A．RoS
B．R-1oS
C．SoR
D．RoS-1