南京农业大学《离散数学》2017-2018学年第一学期期末试卷A卷.pdfVIP免费

南京农业大学2017－2018学年第一学期考试试题A卷第1页共2页考试科目：离散数学考试时间：120分钟试卷总分100分题号一二三四五六七平时（30分）总分得分评卷教师一、求公式(┐p∨┐q)→(p┐q)的析取范式、合取范式及主析取范式、主合取范式。（本大题共8分）二、用推理规则证明：（本大题共12分）前提(x)P(x)→(x)((P(x)∨Q(x))→R(x))，(x)P(x)，(x)Q(x)结论(x)(y)(R(x)∧R(y))三、计算题（本大题共15分，每小题3分，共5小题）1.证明逻辑等价式AB(A∧B)∨(┐A∧┐B)成立。2.设AB，求证A∩CB∩C。3.设集合A={a，b，c，d}，A上的关系R={,,,}，求R的自反闭包、对称闭包。4.求下列集合的基数。（1）T={x|x是单词“BASEBALL”中的字母}（2）B={x|x∈R∧x2=9∧2x=8}（3）C=)(...