华东交大离散数学试卷四试题与答案.docVIP

华东交大试卷四试题与答案 一、 填空 10% （每小题 2 分） 1、 若 P， Q，为两命题， P Q真值为 0 当且仅当 。 2、 命题“对于任意给定的正实数，都存在比它大的实数”令 F(x) ： x 为实数， L( x, y) : x y 则命题的逻辑谓词公式为 。 3、 谓词合式公式 xP( x) xQ( x) 的前束范式为 。 4、 将量词辖域中出现的 和指导变元交换为另一变元符号， 公式其余 的部分不变，这种方法称为换名规则。 5、 某人有三个儿子，组成集合 A={S1,S 2,S 3} ，在 A 上的兄弟关系具有 性质。 二、 选择 25% （每小题 分） 1、 下列语句