离散数学练.docVIP

《离散数学》练习 福建农林大学东方学院 2009 ——2010 学年第一学期 第一篇 数理逻辑 一、填空题及单项选择题： 1、设解释为：客体城， 则 ， 。 2、公式的主析取范式为 。 3、下列命题等值式正确的是 【 】 （A）； （B）；（C）； （D）. 4、设命题公式，则是 【 】 （A）可满足的； （B）永真的； （C）永假的； （D）析取范式 5、前提与的有效结论是 【 】 （A）； （B）； （C）； （D）。. 二、解答题： 将下列命题符号化： 明天不下雨又有空的话，我就会去打球。 只要她生病了，我都会去看她（只有她生病了，我才会去看她）。 每个旅客或坐头等舱或坐二等舱。 有些汽车比任何火车都慢，但并非所有的汽车都比火车慢。 求公式的主合取范式和主析取范式，并求使取值为 真的所有指派。 练习第1页（共6页） 三、逻辑推理题 1、用演绎法证明：P→（Q→R），SP，Q, R├S. （应注明每一步推理所采用的推理规则）。 2、找出下列推导过程中的错误，并问结论是否有效？如果是，写出正确的推导过程。 （1） 规则（前提引入） （2） (1) （3） 规则（前提引入） （4） (3) （5） (2),(4)假言推理 （6） (5) 3、有红、黄、绿、白四队参加足球联赛，如果红队第三，则当黄队不是第二时，绿队第四。或者白队不是第一，或者红队第三。已知绿队不是第四。试证明：如果白队第一，那么黄队第二。 （要求：设：白队第一；：黄队第二；：红队第三；：绿队第四。并写出前提和结论的符号化及推理过程。） 第二篇 集合论 一、填空题及单项选择题： 设是集合上的二元关系，且，则 ， 。 设是上的二元关系，且 ，则的关系矩阵 3、偏序关系应具有的性质为 。 4．设N、Z、Q、R和C分别为自然数、整数、有理数、实数和复数集合，（0，1）为实数区间，则下列式子正确的是 【 】 （A）； （B）； （C）； （D）. 5．设N、R分别为自然数和实数集合，则下列基数关系式正确的是 【 】 （A）； （B）； （C）； （D） 练习第2页（共6页） 6．按照阶从低到高的次序排列，则下列排列次序正确的是 【 】 （A）； （B）； （C）； （D） 二、解答题 1、设集合，为上的整除关系 ，试求： （1）画出偏序集的Hasse图； （2）写出中的最大元、最小元、极大元、极小元； （3）写出的子集的上界、下界及上、下确界。 2、（自然映射问题）习题八（P162）第16题。 （屈婉玲《离散数学》，下同） 设，R为上的等价关系，且 求自然映射。 3、（计数问题）习题六（P99）第21，23题。 （1）某班有25个学生，其中14人会打篮球，12人会打排球， 6人会打篮球和排球， 5人会打篮球和网球，还有2人会打这三种球。已知6个会打网球的人都会打蓝球或排球。求不会打球的人数。 （2）使用包含排斥原理求不超过120的素数个数。 三、证明题 1、设是非空集合上的等价关系，试证的逆关系也是上的等价关系。 2、设是非空集合上的偏序关系，试证的逆关系也是上的偏序关系。 3、设（0，1）和[0，1]为实数区间，证明： *第三篇 代数系统 一、填空题及单项选择题： 1、设，且，，， 则= ，的阶= 。 2、设，运算是按位加，则群的子群有 个，非平凡子群有 个，2阶子群有 个。 3、整数集对于普通减法来说作成一个代数系统，则 【 】 （A）是半群但没有单位元； （B）含有单位元； （C）有右单位元，但没有左单位元； （D）有左单位元，但