苏XI友离散数学作业(1-3章).ppt

作业1 P32－1.5将下列命题符号化. (1)2是偶数又是素数. 设p:2是偶数,q:2是素数. 符号化为:p∧q. (2)小王不但聪明而且用功. 设p:小王聪明,q:小王用功. 符号化为:p∧q. 作业1 (3)虽然天气很冷,老王还是来了. 设p:天气冷,q:老王来了. 符号化为:p∧q. (4)他一边吃饭,一边看电视. 设p:他吃饭,q:他看电视. 符号化为:p∧q. (5)如果天下大雨,他就乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:p→q. 作业1 (6)只有天下大雨,他才乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或?p→?q. (7)除非天下大雨,否则他不乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或??q→p,?p→?q. (8)不经一事,不长一智. 设p:经一事,q:长一智. 符号化为:?p→?q,或q→p. 作业1 作业1 作业1 作业2 P34-1.8 用等值演算法证明下列等值式. (1) (p∧q)∨(p∧?q)?p. (2) (p→q)∧(p→r)?p→(q∧r). 证明: (1) (p∧q)∨(p∧?q) ?p∧(q∨?q) ?p∧1 ?p. 所以, (p∧q)∨(p∧?q)?p. 作业2 (2) (p→q)∧(p→r) ?(?p∨q)∧(?p∨r) ??p∨(q∧r) ?p→(q∧r). 所以, (p→q)∧(p→r)?p→(q∧r). 作业2 P34-1.9 用等值演算法判断下列公式的类型. (2) ((p→q)∧(q→p))?(p?q). 解. ((p→q)∧(q→p))?(p?q) ?(p?q)?(p?q) ?1. 所以, 该公式的类型为重言式(永真式). 作业3 P34-1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值. (3) ?(p→q)∧q∧r. 解. ?(p→q)∧q∧r ??(?p∨q)∧q∧r ?(p∧?q)∧q∧r ?p∧(?q∧q)∧r ?p∧0∧r ?0∧r ?0. 作业3 P35-1.13 通过求主析取范式判断下列各组命题公式是否等值. (1)①p→(q→r); ②q→(p→r). 解. p→(q→r) ??p∨?q∨r ?M6 ?m0∨m1∨m2∨m3∨m4∨m5∨m7. q→(p→r) ??q∨?p∨r??p∨?q∨r ?m0∨m1∨m2∨m3∨m4∨m5∨m7. p→(q→r)与q→(p→r)的主析取范式相同, 所以 p→(q→r)?q→(p→r) . 作业4 P34-1.17 构造下面推理的证明. (1)前提:?(p∧?q),?q∨r,?r. 结论:?p. 证明:①?q∨r 前提引入 ②?r 前提引入 ③?q ①②析取三段论 ④?(p∧?q) 前提引入 ⑤?p∨q ④置换 ⑥?p ③⑤析取三段论 作业4 (3)前提:p→q. 结论:p→(p∧q). 证明:①p 附加前提引入 ②p→q 前提引入 ③q ①②假言推理 ④p∧q ①③合取式 作业4 (3)证二: ①p→q 前提引入 ②?p∨q ①置换 ③(?p∨p)∧(?p∨q) ②置换 ④?p∨(p∧q) ③置换 ⑤p→(p∧q) ④置换 作业5 P53-2.3 在一阶逻辑中将下列命题符号化. (1)每个大学生不是文科生就是理科生. 设S(x):x是大学生, W(x):x是文科生, L(x):x 是理科生. 命题符号化为: ?x(S(x)→W(x)∨L(x)). (2)有些人喜欢所有的花. 设M(x):x是人, F(x):x是花, L(x,y):x喜欢y. 命题符号化为: ?x(M(X)∧?y(F(y)→L(x,y))). 作业5 (3)没有不犯错误的人. 设M(x):x是人, C(x):x犯错误. 符号化为: