一、填空题（将正确答案填在横线上,每小题2分,共20分）.doc

一、填空题（将正确答案填在横线上，每小题2分，共20分） 1、设：老张去，：老李去，：老王去，则命题“只有老张和老李都去，老王才去”用命题逻辑符号化表示为 。 2、中含有n个命题变项，为重言式时，它的主析取范式含 个极小项 。 3、的成真赋值是 。 4、若命题变元指派的真值分别为1，1，0，0，则命题公式 的真值为 。 5、设是任意的含自由出现个体变项的公式，完成所给出的量词否定等值式 。 6、设，则的幂集= 。 7、设表示“是整数”，表示“是有理数”，则语句“有的有理数是整数”可以符号化为 。 8、集合满足条件 时，等式成立。 9、令，则的值域是 。 10、个体域D，公式写成不含量词的形式为 。 二、分别用指定方法判断所给命题公式的类型 (每小题6分，共12分) 1、（真值表法） 2、（等值演算法） 三、按要求求出所给命题公式的范式 (每小题6分，共18分) 1、求公式的前束范式 2、用真值表法求公式的主析取范式 3、用等值演算法求公式的主合取范式。 四、设R是集合上的一个二元关系，已知 (每小题2分，共8分) 试求:1、的关系矩阵及关系图 2、的自反闭包 3、的对称闭包 4、的传递闭包 五．令，其中也是集合。(每小题2分，共6分) 计算： 1、 2、 3、 六、证明题（每小题8分，共16分） 1、 2．设是非空集合A上的二元关系，满足下面条件： ⑴ 具有自反性； ⑵ 若 并且时，则有成立。 证明：是等价的。 七、完成下列推理（每小题10分，共20分） 1、 前提： 结论： 2、 前提: 结论: 第 ２ 页 共 7 页