2025年（应用数学）数理逻辑试题及答案.docVIP

2025年（应用数学）数理逻辑试题及答案

第I卷（选择题共30分）

答题要求：请将正确答案的序号填在括号内。

1.以下哪个是命题（）

A.这朵花真美啊！

B.x+1=2

C.2025年是闰年

D.请把门关上

答案：C

2.命题公式?(p∧q)等价于（）

A.?p∧?q

B.?p∨?q

C.p∧?q

D.?p∨q

答案：B

3.设p：今天下雪，q：我去滑雪。则命题“如果今天下雪，那么我就去滑雪”可符号化为（）

A.p→q

B.q→p

C.p∧q

D.p∨q

答案：A

4.下列命题中为真命题的是（）

A.若2+2=4，则3+3=6

B.若2+2=4，则3+3≠6

C.若2+2≠4，则3+3=6

D.若2+2≠4，则3+3≠6

答案：A

5.谓词公式?x(P(x)∨Q(x))中，?x的作用域是（）

A.P(x)

B.Q(x)

C.P(x)∨Q(x)

D.整个公式

答案：C

6.设个体域为整数集，下列公式中值为真的是（）

A.?x?y(x+y=0)

B.?y?x(x+y=0)

C.?x?y(x+y=0)

D.??x?y(x+y=0)

答案：A

7.命题公式p∨(q∧?r)的成真赋值有（）

A.000,001,010,011,100,101,110

B.000,001,010,011,101,110,111

C.000,001,010,011,100,101,111

D.000,001,010,011,110,111

答案：B

8.与命题公式p→(q→r)等价的公式是（）

A.(p∧q)→r

B.p→(q∧r)

C.(p→q)→r

D.p→(q∨r)

答案：A

9.设A={1,2,3}，B={a,b}，则从A到B的二元关系共有（）个。

A.6

B.8

C.16

D.32

答案：D

10.设R是集合A上的关系，若R满足自反性、对称性和传递性，则R是（）

A.等价关系

B.偏序关系

C.全序关系

D.以上都不对

答案：A

第II卷（非选择题共70分）

二、填空题（总共10题，每题2分共20分）

1.命题“2是偶数且3是奇数”的符号化形式为____________________。

答案：p∧q（设p：2是偶数，q：3是奇数）

2.命题公式p→q的真值为假，当且仅当____________________。

答案：p为真且q为假

3.已知谓词公式?x(F(x)∧G(x))，其中F(x)：x是实数，G(x)：x0，则当个体域为实数集时，该公式的真值为____________________。

答案：真

4.设集合A={a,b,c}，则A的幂集P(A)=____________________。

答案：{?,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}

5.设R={(1,2),(2,3),(3,1)}是集合A={1,2,3}上的关系，则R的自反闭包r(R)=____________________。

答案：{(1,1),(2,2),(3,3),(1,2),(2,3),(3,1)}

6.若关系R是等价关系，则R具有的三个性质是____________________。

答案：自反性、对称性、传递性

7.设A={1,2,3,4}，B={a,b,c}，则从A到B的函数f={(1,a),(2,b),(3,c),(4,a)}是____________________（单射、满射、双射）。

答案：满射

8.命题公式(p∧q)∨?p的主析取范式是____________________。

答案：(?p∧?q)∨(?p∧q)∨(p∧q)

9.设个体域为自然数集N，P(x)：x是素数，Q(x)：x是偶数，则命题“存在既是素数又是偶数的数”可符号化为____________________。

答案：?x(P(x)∧Q(x))

10.设集合A={1,2,3,4}，关系R={(1,on1),(2,2),(3,4),(4,3)}，则R的对称闭包s(R)=____________________