2010南京信息工程大学离散数学试卷(共2页).doc

精选优质文档-倾情为你奉上南京信息工程大学试卷2010 2011学年 第 1 学期 离散数学 课程试卷( 卷) 本试卷共 2页；考试时间 120 分钟；任课教师 ；出卷时间 10 年 12月 电子与信息工程 学院 信息工程 专业 2 年级 班 学号 姓名 得分 一、 命题逻辑 (每小题10分， 共20分)1、求的主析取范式 2、如果小张去看电影， 则当小王去看电影时， 小李也去。 小赵不去看电影或小张去看电影。 小王去看电影。 所以当小赵去看电影时， 小李也去。 二、一阶逻辑 (每小题10分，共 20分) 1、证明推理所有的自然数均是实数，3是自然数，因此，3是实数。正确。 2、证明：$ xF（x） $ xG（x） $ x（F（x）G（x）三、 集合论 (每小题10分，共20分) 1、设A, B为任意集合, AB当且仅当P(A)P(B)。 2