离散数学第三次在线作业.docx

《离散数学第三次在线作业.docx》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三次在线作业1.（2.5分）不能再分解的命题称为原子命题，至少包含一个联结词的命题称为复合命题·正确·错误我的答案：正确此题得分：2.5分2.（2.5分）命题是能够表达判断（分辩其真假）的陈述语句·正确·错误我的答案：正确此题得分：2.5分3.（2.5分）一个命题可赋予一个值，称为真值·正确·错误我的答案：正确此题得分：2.5分4.（2.5分）复合命题是由连结词、标点符号和原子命题复合构成的命题·正确·错误我的答案：正确此题得分：2.5分5.（2.5分）在条件命题P→Q中，命题P称为P→Q的前件或前提，命题Q称为P

2、→Q的后件或结论·正确·错误我的答案：正确此题得分：2.5分6.（2.5分）给定一个命题，若无论对分量作怎样的指派，其对应的真值永远为T，则称该命题公式为重言式或永真公式·正确·错误我的答案：正确此题得分：2.5分7.（2.5分）给定一个命题，若无论对分量作怎样的指派，其对应的真值永远为F，则称该命题公式为矛盾式或永假公式·正确·错误我的答案：正确此题得分：2.5分8.（2.5分）任何两个重言式的合取或析取仍然是一个重言式·正确·错误我的答案：正确此题得分：2.5分9.（2.5分）一个命题称为合取范式，当且仅当它具有

3、如下的形式：A1∧A2∧…∧An，(n≥1)其中A1A2…An都是由命题变元或其否定所组成的析取式·正确·错误我的答案：正确此题得分：2.5分10.（2.5分）一个命题称为析取范式，当且仅当它具有如下的形式：A1∨A2∨…∨An，(n≥1)其中A1A2…An都是由命题变元或其否定所组成的合取式·正确·错误我的答案：正确此题得分：2.5分11.（2.5分）一个命题的合取范式或析取范式不是唯一的·正确·错误我的答案：正确此题得分：2.5分12.（2.5分）推理理论中的四个推理规则是全称指定规则(US规则)、全称推广规则(

4、UG规则)、存在指定规则(ES规则)、存在推广规则(EG规则)·正确·错误我的答案：正确此题得分：2.5分13.（2.5分）如果p表示王强是一名大学生，则¬p表示王强不是一名大学生·正确·错误我的答案：正确此题得分：2.5分14.（2.5分）设p：2008年将在北京举办奥运会，q：中国是世界四大文明古国之一，则p∧q：2008年将在北京举办奥运会并且中国是世界四大文明古国之一·正确·错误我的答案：正确此题得分：2.5分15.（2.5分）设p：小王努力学习，q：小王学习成绩优秀，则：p→q：如果小王努力学习，那么他的学

5、习成绩就优秀·正确·错误我的答案：正确此题得分：2.5分16.（2.5分）设p：张华是三好学生，q：张华德、智、体全优秀，则：p↔q：张华是三好学生当且仅当德、智、体全优秀·正确·错误我的答案：正确此题得分：2.5分17.（2.5分）与一个个体相关联的谓词叫做一元谓词·正确·错误我的答案：正确此题得分：2.5分18.（2.5分）一般的，把与n个个体相关联的谓词叫做n元谓词·正确·错误我的答案：正确此题得分：2.5分19.（2.5分）量词分两种：全称量词和存在量词·正确·错误我的答案：正确此题得分：2.5分20.（2.

6、5分）设A1是合式公式A的子公式，若A1等价B1，并且将A中的A1用B1替换得到公式B，则A等价B，称该定理为替换规则·正确·错误我的答案：正确此题得分：2.5分21.（2.5分）对于任何一命题公式，都存在与其等价的析取范式和合取范式·正确·错误我的答案：正确此题得分：2.5分22.（2.5分）“全体立正”不是命题·正确·错误我的答案：正确此题得分：2.5分23.（2.5分）“禁止吸烟！”不是命题·正确·错误我的答案：正确此题得分：2.5分24.（2.5分）“我正在说谎。”不是命题·正确·错误我的答案：正确此题得分：

7、2.5分25.（2.5分）“你会讲英语吗？”不是命题·正确·错误我的答案：正确此题得分：2.5分26.（2.5分）用A表示“是个大学生”，c表示“张三”，则A(c)：张三是个大学生·正确·错误我的答案：正确此题得分：2.5分27.（2.5分）用A表示“是个教师”，d表示“李四”，则A(d)：李四是教师·正确·错误我的答案：正确此题得分：2.5分28.（2.5分）用B表示“大于”，e代表“5”，f代表“3”，则B(ef)：5大于3·正确·错误我的答案：正确此题得分：2.5分29.（2.5分）一元谓词表达了客体的“性质”

8、，多元谓词表达了客体之间的“关系”·正确·错误我的答案：正确此题得分：2.5分30.（2.5分）将命题“小李比小赵高”符号化为L(ab)其中L(xy):x比y高；a:小李；b:小赵·正确·错误我的答案：正确此题得分：2.5分31.（2.5分）符号化“每个自然数都是实数”。引入特性谓词N(x)：x是自然数；R(x)：x是实数。∀x(N(x)→R(