dhls_jk09a.docVIP

武汉大学东湖分校2008—2009学年第二学期期末考试试卷 （A卷） 试卷类型：闭卷 填空：（每空1分，共10分） 命题逻辑中，含4个命题变元的合式公式共有_________个解释。 A、B是有限集合，且|A| 5，|B| 3，则|A×B| __________。 一个二元关系的关系矩阵是单位矩阵，那么称该关系为___________。 函数f的定义域和前域的关系是：_________________。 命题连接词‘?’是集合 0,1 上的代数运算，它的阶是__________ 。 集合A a,b,c 的幂集关于交运算‘∩’的单位元是_____________ 。 同态与同构是表达两个_____________间的关系的。 设 G, * 为独异点，若G中每个元素关于*都是_____，则 G, * 是群。 9. 任意一个字母表∑所生成的所有字符串的集合用________表示。 10. 函数的性质是说函数可分为单射、________ 和双射三类。. 二、判断题： 判断并在括号内标记每个小题的对（?）与错（?） （每小题1分，共5分） （ ）1. 永假公式的主析取范式为T。 （ ）2. 关系的自反性与反自反性是互为否定的。 （ ）3. 集合A上的恒等关系也是A上的恒等函数。 （ ）4. 除法是实数集合R上的二元运算。 （ ）5. 在一阶逻辑中，一