《离散数学》南航复习题集分享

前言

本篇是《离散数学》南航复习题集合（部分），更丰富的题集放在了个人主页中的资源栏，欢迎各位下载，希望各位能够考个好成绩~
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 是合数。
（省略）