1.(10分)求(PQ)(PR)的主析取范式与主合取范式。
(PR )解 (PQ)((PQ)(PR))((PR)(PQ))
(1分,这里等价式的变换用其他方法也正确)
((PQ)(PR))((PR)(PQ)) (1分) ((PQ)(PR))((PR)(PQ)) (1分) (PR)(PQ)(QR) (1分)
(PQR)(PQR)(PQR)
(PQR)(PQR)(PQR) (1分)
M1M3M4M5 (2分) m0m2m6m7 (1分)
(PQR)(PQR)(PQR)(PQR) (2分) (说明:若用真值表做,真值表正确共6分,结果每个2分,共4分;中间
一步因为笔误出错,方法思路正确的扣2分)
2.(15分)在谓词逻辑中构造下面推理的证明:“前提:每个喜欢步行的人都不喜欢坐汽车,每个人或者喜欢坐汽车或者喜欢骑自行车,有的人不喜欢骑自行车。结论:有的人不喜欢步行。”
解:论域:所有人的集合。A(x):x喜欢步行;B(x):x喜欢坐汽车;C(x):x喜欢骑自行车;则推理化形式为: (每个题设正确得1分)
x(A(x)B(x)),x(B(x)∨C(x)),xC(x)
下面给出证明: (下面每步1分,共10分) (1)xC(x) P (2)xC(x) (3)C(c)
T(1),E T(2),ES P T(4),US T(3)(5),I P T(7),US T(6)(8),I T(9) ,EG
1 / 5
xA(x)
(2分)
(4)x(B(x)∨C(x)) (5)B(c)∨C(c) (6)B(c)
(7)x(A(x)B(x)) (8)A(c)B(c) (9)A(c)
(10)xA(x)
3.(15分)设正整数的序偶集合A,在A上定义的一个二元关系R如下:
x,y,u,vR当且仅当xvyu。
(1) 证明R是一个等价关系。 (10分)
(2) 若A={<1, 1>, <1, 2>, <1, 3>, <2, 1>, <2, 2>, <2, 4>, <2, 6>, <4, 1>, <4, 2>},试写出R所决定的A上的划
分。(5分)
证明:(1) xvyu a. 自反性
xu yv
(3分)
x,yA, b. 对称性
xxx,yRx,y yy
(3分)
x,yRu,v c. 传递性
xuuxu,vRx,y yvvy
(4分)
若a,bRc,d且c,dRe,f,则
acceae且,显然,,即a,bRe,f bddfbf (2) {{<1,1>, <2,2>}, {<1,2>, <2,4>}, {<1,3>, <2,6>}, {<2,1>, <4,2>}, {<4,1>}}
(5个分块各1分,共5分)
4.(15分)设函数f:R×RR×R,f定义为:f( (1)证明f是单射。 (2)证明f是满射。 证明:(1)对任意的x,y,x1,y1∈R,若f( (5分,写出单射定义的给2分) (2)对任意的∈R×R,令x=,所以f是满射。 (5分,写出满射定义的给2分) 5. (10分)设I是所有整数的集合,在I上定义运算*如下: uwuwuwuwuwuw,y=,则f( 证明:I, >是群。 2 / 5 证明:a. 封闭性 (2分) x, yI, x*y b. 结合性 x y2 I (3分) x*y)*z x, y,zI, (x(*y)z2xy z x*(y*z)x(y*z)2xyz2 故, (x*y)*zx*(y*z) c. 单位元是2 d. 6.(15分)设Z6,6是一个群,这里6是模6加法,Z6{[0],[1],[2],[3],[4],[5]}。 (1) 试写出Z6,6的每个子群;(6分) (2) 写出每个子群的左陪集形成的划分;(6分) (3) Z6,6是否构成循环群?若是,试写出所有生成元。(3分) 解 (1) 1阶子群:<{[0]}, +6> 2阶子群:<{[0], [3]}, +6> (1分) (2分) (2分) (1分) (1分) (2分) (2分) (1分) (1分) (2分) (3分) xI,x的逆元存在,为x14xI 3阶子群:<{[0], [2], [4]}, +6> 6阶子群: (2) 1阶子群:{{[0]}, {[1]}, {[2]}, {[3]}, {[4]}, {[5]}} 2阶子群:{{[0], [3]}, {[1], [4]}, {[2], [5]}} 3阶子群:{{[0], [2], [4]}, {[1], [3], [5]}} 6阶子群:{ Z6 } (3) (每个1分, 共2分)