科技大学远程教育学院
《离散数学》综合练习一参
数理逻辑
一、判断下列句子是否是命题,若是命题判断真值,并将其符号化。 1、今天天气真好! 解:不是命题。 2、王华和民是同学。
解:是命题。真值视实际情况而定。p:王华和民是同学。 3、我一边吃饭,一边看电视。
解:是命题。真值视实际情况而定。p:我吃饭。q:我看电视。pq 4、没有不呼吸的人。
解:是命题。真值为1。Mx:x是人。Fx:x呼吸。xMxFx 二、求命题公式的真值表和成真赋值、成假赋值。 [(pq)r](pr)
解:
p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 pq (pq)r pr [(pq)r](pr) 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 成真赋值:000,001,010,011,101,111;成假赋值100,110 三、用真值表、等值演算两种方法判别公式类型。 1、[(pq)q]r
. 学习.资料.
.. . .
解:
p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 pq 1 1 1 1 0 0 1 1 (pq)q 0 0 1 1 0 0 1 1 [(pq)q]r 1 1 0 1 1 1 0 1 [(pq)q]r[(pq)q]r(pq)qr
(pq)qr[(pq)(qq)]r[(pq)q]r可满足式
2、q((pq)p) 解:Aq((pq)p)
p q 0 0 0 1 1 0 1 1 pq 1 1 0 1 (pq)p 0 0 0 1 ((pq)p) 1 1 1 0 A 1 1 1 1 q((pq)p)q(pq)p(pq)(pq)1
永真式
四、求命题公式的主析取式和成真赋值、成假赋值。 p(qr) 解:
p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 p(qr) 1 1 1 1 1 1 0 1 p(qr)(0, 1,2,3,4,5,7) . 学习.资料.
.. . .
成真赋值:000,001,010,011,100,101,111;成假赋值110 五、解释I如下:D是实数集,特定元素a=0;特定函数fx,y=xy;
特定谓词Fx,y:x xy[(xy)x)]真值为假 2、xyz{F(x,y)F[f(x,z),f(y,z)] 解: xyz{F(x,y)F[f(x,z),f(y,z)]}xyz[(xy)(xz)(yz)] 真值为真 六、 1、求前束式xF(x)yG(x,y) 解: xF(x)yG(x,y)xF(x)yG(x,y)xF(x)yG(t,y) xy[F(x)G(t,y)] 2、证明:x(A(x)B)xA(x)B 证明: x(A(x)B)x(A(x)B)xA(x)BxA(x)B xA(x)B七、写出下面推理的证明,要求写出前提、结论,并注明 推理规则。 (1)如果乙不参加篮球赛,那么甲就不参加篮球赛。若乙参加篮球赛,那么 . 学习.资料. .. . . 甲和丙就参加篮球赛。因此,如果甲参加篮球赛,则丙就参加篮球赛。 解: p:甲参加篮球赛。q:乙参加篮球赛。r:丙参加篮球赛。 前提: q p ,q pr , 结论:p r 证明:① q p 前提引入 ② pq ①置换 ③ q pr 前提引入 ④ q pr ③置换 ⑤ q p q r ④置换 ⑥ q r ⑤化简 ⑦ q r ⑥置换 ⑧ p r ②⑦假言三段论 推理正确 (2)学会的成员都是专家。有些成员是青年人。所以,有些成员是青年专家。个体域是人的集合 Fx:x 是学会成员。Gx:x 是专家。Hx:x 是青年人。 前提:x Fx Gx,x Fx Hx 结论:x Fx Hx Gx 证明:① x Fx Hx 前提引入 ② Fc Hc ①EI ③ x Fx Gx 前提引入 . 学习.资料. .. . . ④ Fc Gc ③UI ⑤ Fc ②化简 ⑥ Gc ⑤④假言推理 ⑦ Fc Hc Gc ②⑥ 合取 ⑧ x Fx Hx Gx ⑦EG 推理正确 《离散数学》综合练习二参 集合、关系、函数 1、对任意集合A,都有AA和A A,不能同时成立。 2、R1、R2是A上的具有自反性的二元关系,R1-R2也具有自反性。 3、A上恒等关系IA具有自反性、对称性、反对称性、传递性。 4、f:AB,g:BC,若fog是AC的满射,则f、g都是满射。 5、A ={1,2,3,4},f是从A到A的满射,则也是从A到A的单射。 1、A-B∪AB = A 。 2、A有2个元素,B有3个元素,从A到B的二元关系有 26 个。 3、R是A上的二元关系,RoR-1一定具有的性质是 对称性 。 4、fx= lnx 是从 R+ 到 R 的函数。 5、f、g都是从A到A的双射,(fog)-1 = g-1of-1 。 1、A={{a,{b}},c,{c},{a,b}}、B={{a,b},c,{b}} 求A∪B、A∩B、A-B、AB AB{{a,{b}},c,{c},{a,b},{a,b},c,{b}}AB{c,{a,b}}AB{{a,{b}},{c}}AB(AB)(BA) {{a,{b}},{c}}{b}{{a,{b}},{c},{b}} F ) F ) T ) F ) T ) . 学习.资料. 一、判断题 ( ( ( ( (二、填空题 三、集合 解: .. . . 2、A={{a,{b}},c,Ø} 求A的幂集。 解:PA={Ø,{Ø},{{a,{b}}},{c},{{a,{b}},c},{{a,{b}},Ø},{c,Ø}},A} 3、证明:A-B∪C = A-B∩A-C 解:A(BC)A(BC)ABCABAC(AB)(AC) 四、二元关系(共30分)
Copyright © 2019- azee.cn 版权所有 赣ICP备2024042794号-5
违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务