离散复习重点.pdfVIP

离散复习重点 1、 真值表，主析取主合取范式，最大项和最小项 2、 证明：p→(Q→R)Q→(P→R)R→(Q→P) 3、 证明：从前提P→Q， （QR）可演绎出P 4、 证明：R→S可从前提P→ （Q→S），R P和Q推出。 ├ 5、 使用推理规则或归结推理，论证推理形式： 1）P→Q，R→Q，RS，S→Q ├P；2）P Q，S→Q，R，RS ├P 6、 写出谓词的含义，一个谓词公式的解释应包含什么内容？ 7、 并非一切劳动都能用机器代替 解：设L (x):x是一种劳动，M (y):y是一种机器 R (x.y):x被y代替。命题表示为： （x） （L (x)→(y) (M (y） R （x,y)) 8、 忘记了 9、 证明等价式：定理2.6.1,第58页① 10、 定理2.6.3，第59页，① 11、 定理2.8.1，第61页，④ 12、 定理2.8.2,第62页，③ 13、 定理3.2.4，第85页，② 14、 定理3.4.1，第89页，③ 15、 定理3.5.1，第92页 16、 定理3.5.2， 17、 定理3.7.5，第95页 18、 从集合的观点来定义有序对x,y {{x},{x,y}},解释其合理性。 19、 例子4.4.1，第110页 20、 第1