【离散数学】数理逻辑课堂习题&解答

week1

ACE

B：疑问句，不构成命题

D：祈使句，不构成命题

E：虽然现在还没到22世纪，但是届时人类是否移民太空是有唯一真假值的。若人类移民，则真值=1，否则真值=0

ABD

C：可以推出如果我不骑自行车上班，则天下雨。即非q蕴含p。

如果、只要后面跟的都是前置（充分）条件。

只有后面跟的是必要条件。

week2

重言式：1 2 5 7 9

矛盾式：3 6 

可满足式：4 8 10 

可按照定义进行判断。

重言式：所有取值情况下，取值均为真

矛盾式：所有取值情况下，取值均为假

可满足式：非重言式且非矛盾式

下面将举2个示例，读者可根据类似的方法进行判断

【1】重言式

蕴含前的条件=0时，真值均为1，即三种情况：p=0 and q=0、p=1 and q=0、p=0 and q=1

蕴含前的条件=1时，即p=1 and q=1，蕴含后的结果=1，真值为1

【2】重言式

先对最外层等价的左侧进行判断：左侧的等价真值为1时，p和q同号，其他情况均为真值=0

当左侧真值=1时，即p和q同号，真值为1

当左侧真值=0时，即p和q异号，右侧结果=0，真值为0

（1）等价

（2）不等价

p	q	r	p->(q->r)	(p^q)->r	(p->q)->r
0	0	0	1	1	0
0	0	1	1	1	1
0	1	0	1	1	0
0	1	1	1	1	1
1	0	0	1	1	1
1	0	1	1	1	1
1	1	0	0	0	0
1	1	1	1	1	1

通过上述真值表可以进行查看。

 

其中（2）问使用了上一题的等价结论 

（2）的其他解法如下

 

 

 

week3

 B/D

主析取范式是由真值为1的极小项析取组成。

由真值表可知，m1、m2、m3都符合条件，而m0不符合

所以该命题公式的主析取范式由m1、m2、m3析取而成。

主析取范式是m1、m3、m6、m7析取而成。

主合取范式是M0、M2、M4、M5合取而成。

week4

 

 

 

题目如下：

前提：(1)r->~q  (2)r v s (3)s->~q  (4)p->q

结论：~p

 其他大佬的答案：

另外的方法——反证法：③和⑨矛盾，因此反证内容是矛盾式。因此结论是重言式。

week5

 其他大佬的答案：

（5）和（6）其他表示方法如下：

 

 

 

week6

 

所以，为真的有1 3 4

为假的有2 5 6 7

 

 其他佬的答案：

同时最后一行末尾应该有一个右括号【)】