离散数学总复习


样卷（仅作参考）
一.填空题(20分)1、设P：我有时间；Q：我将去市里，将“只有我有时间，我才去市里”命题符号化 _________.        答案：(Q→P)2、公式(x)(P(x, y)Q(x, y) ∨(z)R(y, z)) s(x) 中自由变元为________.约束变元为__________.答案：(x,y),(x,z)3、设F={<1,2>,<3,4>,<2,2>}，G={<4,2>,<2,5>,<3,1>}，则FG = ______________.答案：{<4,2>,<3,2>}4、代数系统<Z,+>（其中Z是整数集合，+是普通加法），Z对+幺元为________,零元为________, 任x∈Z, x-1=_____________.答案：0，不存在，-x