前言
本篇是《离散数学》南航复习题集合(部分),更丰富的题集放在了个人主页中的资源栏,欢迎各位下载,希望各位能够考个好成绩~
1、 公式(p或q)→非r 的所有成假赋值为 。
2、 命题公式非(非p或q) 且q 的所有成假赋值为 。
3、 由 p, q, r 三个命题变项形成的极小项 m4 的表达式为 。
4、 求公式类型:(i) ∀xF(x)→(∀xF(x)∨∃yG(y)), (ii) q且非(p→q),
(iii) ∀xF(x)→(∀x∃yG(x,y)→∀xF(x))
5、 将下列命题符号化:(i) 并非每个人都喜欢吃甜食。(ii) 有的人对某些药品过敏。
6、 求主析取范式:(i) A=(非x→y) 且 (x→z), (ii) A=(p→非q)→r
7、构造下面推理的证明:2 是素数或合数,若 2 是素数,则2是无理数,若2是无理数,则 4 不是素数,所以,如果 4 是素数,则 2 是合数。
(省略)