离散数学作业
- 格式:docx
- 大小:37.88 KB
- 文档页数:3
离散数学作业
-离散数学专业班级学号姓名第一章命题逻辑的基本概念
一、 单选题
1.下列语句中不是命题的有().
a9+5?12b。1+3=5c。1g是我电脑的主频吗?d、 我想努力学习。2.以下陈述是正确的,命题是()
a.1+2=5当且仅当2是偶数b.如果1+2=3,则2是奇数c.如果1+2=5,则2是奇数d.你上网了吗?3.设命题公式?p()
? (q?R),然后让公式取P,q和R的值,真值为1,这些值为
(b)0,0,1(c)0,1,0(d)1,0,0
(a) 0,0,04。命题公式(P?Q)?Q是()
(a)矛盾式(b)仅可满足式(c)重言式(d)合取范式5.设p:我将去市里,q:我有时间.
“我只有在有时间的时候才会去城里”这个命题被符号化为()
(a)q?p(b)p?q(c)p?q(d)?p??q6.设p:我听课,q:我看小说.“我不能一边听课,一边看小说”的符号为()a.p??q;b.?p?q;c.?q??p;d.?(p?q)二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化(1)中国有四大发明。(2)2是有理数。(3)“请进!”
(4) 刘红和魏欣是同学。(5) a+b
(6)如果买不到飞机票,我哪儿也不去。(8)侈而惰者贫,而力而俭者富。(韩非:《韩非子?显学》)(9)火星上有生命。
(10) 这朵玫瑰多美啊!
二、将下列命题符号化,其中p:2<1,q:3<2(1)只要2<1,就有3<2。(2)如果2<1,则3?2。(3)只有2<1,才有3?2。(4)除非2<1,才有3?2。(5)除非2<1,否则3?2。(6)2<1仅当3<2。
-1-
离散数学专业班级学号姓名三、将下列命题符号化
(1) 小李只能从篮子里拿一个苹果或一个梨。(2) 王东出生于1992年或1993年。 四、设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。(1)p∨(q∧r)(2)(p?r)∧(q∨s)
(3) (?p∧?Q∧r) ??(p∧Q∧r) (4)r∧(s)→(p∧?q)
五、用真值表判断下列公式的类型:(1)p∧(p→q)∧(p→?q)(2)(p∧r)?(?p∧?q)(2)((p→q)∧(q→r))→(p→r)
-2-
-离散数学专业班级学号姓名第二章命题逻辑等值演算
一、 填空
(1)给定两个命题公式a,b,若,则称a和b时等值的,记作a?b.
(2) 德摩根定律是:。(3) 含义是等价的。(4) 从已知等价物中导出其他等价物的过程称为。2、 使用等价算法判断以下公式的类型。对于不是重言式的可满足公式,使用真值表方法来找到真值(1)?(p∧Q→q) (2)(p→(p∨q) )∨(p→r) (3)(p∨q)→(p∧r)
-3-
离散数学专业三、证明下列等价公式(1)(P→ q) ∧(P→ R) 用等价算法?(p→(q)∧r) )
(2)(p∧?q)∨(?p∧q)?(p∨q)∧?(p∧q)
三、 用等价演算求出下列公式的析取范式和合取范式。
(1)(?p→q)→(?q∨p)(2)?(p→q)∧q∧r
(3) (p∨(q)∧r) )→(p∨Q∨r)
-4-
-第三章是命题逻辑的推理理论
一、填空
1.数理逻辑的主要任务是。推理意味着前提是,结论是。2.正确的推理方式:3命题式A1,a,2,?,a、 从K到B的推理是正确的当且仅当2。首先对后续命题进行符号化,然后写出前提、结论和推理的形式化结构,然后用真值表法和等价算法证明后续推理的正确性。
若今天是星期一,则明天是星期三。明天不是星期三,所以今天不是星期一。 三、 在自然推理系统下,推理证明采用直接法、附加预参考法或谬误约简法(1)前提:P?Q(q?R),R结论:?P
(2)前提:q?p,q?s,s?t,t?r
结论:P?Q
-5-