- 1、本文档共7页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
填空 10% (每小题 2分)
若P,Q,为二命题,真值为0 当且仅当 。
命题“对于任意给定的正实数,都存在比它大的实数”令F(x):x为实数,则命题
的逻辑谓词公式为 。
谓词合式公式的前束范式为 。
将量词辖域中出现的 和指导变元交换为另一变元符号,公式其余的部分不变,
这种方法称为换名规则。
设x是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y是自由的,则
被称为存在量词消去规则,记为ES。
选择 25% (每小题 2.5分)
下列语句是命题的有( AC )。
明年中秋节的晚上是晴天; B、;
C、当且仅当x和y都大于0; D、我正在说谎。
下列各命题中真值为真的命题有( AD )。
2+2=4当且仅当3是奇数;B、2+2=4当且仅当3不是奇数;
C、2+2≠4当且仅当3是奇数; D、2+2≠4当且仅当3不是奇数;
下列符号串是合式公式的有( CD)
A、 ;B、 ;C、;D、。
下列等价式成立的有( AD )。
A、 ;B、 ;
C、 ; D、。
若和B为wff,且则( )。
A、称为B的前件; B、称B为的有效结论
C、当且仅当;D、当且仅当。
A,B为二合式公式,且,则( )。
A、为重言式; B、;
C、; D、; E、为重言式。
“人总是要死的”谓词公式表示为( )。
(论域为全总个体域)M(x):x是人;Mortal(x):x是要死的。
A、; B、
C、;D、
8.公式的解释I为:个体域D={2},P(x):x3, Q(x):x=4则A的真值为)。
A、1; B、0; C、可满足式; D、无法判定。
下列等价关系正确的是( )。
A、;
B、;
C、;
D、。
下列推理步骤错在( )。
① P
② US①
③ P
④ ES③
⑤ T②④I
⑥ EG⑤
A、②;B、④;C、⑤;D、⑥
逻辑判断30%
用等值演算法和真值表法判断公式的类型。(10分)
下列问题,若成立请证明,若不成立请举出反例:(10分)
已知,问成立吗?
已知,问成立吗?
如果厂方拒绝增加工资,那么罢工就不会停止,除非罢工超过一年并且工厂撤换了厂长。
问:若厂方拒绝增加工资,面罢工刚开始,罢工是否能够停止。(10分)
四、计算10%
设命题A1,A2的真值为1,A3,A4真值为0,求命题
的真值。(5分)
利用主析取范式,求公式的类型。(5分)
五、谓词逻辑推理 15%
符号化语句:“有些人喜欢所有的花,但是人们不喜欢杂草,那么花不是杂草”。并推证其结论。
六、证明:(10%)
设论域D={a , b , c},求证:。 填空 10%(每小题2分)
1、P真值为1,Q的真值为0;2、;
3、;4、约束变元;5、,y为D的某些元素。
选择 25%(每小题2.5分)
题目
1
2
3
4
5
6
7
8
9
10
答案
A,C
A,D
C,D
A,D
B,C
A,B,C,D,E
C
A
B
(4)
逻辑判断 30%
1、(1)等值演算法
(2)真值表法
P Q
A
1 1
1
1
1
1
1
1 0
0
1
0
0
1
0 1
1
0
0
0
1
0 0
1
1
1
1
1
所以A为重言式。
2、(1)不成立。
若取
但A与B不一定等价,可为任意不等价的公式。
(2)成立。
证明:
即:
所以 故 。
3、解:设P:厂方拒绝增加工资;Q:罢工停止;R罢工超壶过一年;R:撤换厂长
前提: 结论:
① P
② P
③ T①②I
④ P
⑤ T④I
⑥ T⑤E
⑦ T③⑥I
罢工不会停止是有效结论。
四、计算 10%
解:
它无成真赋值,所以为矛盾式。
五、谓词逻辑推理 15%
解:
证明:
⑴ P
⑵ ES⑴
⑶ T⑵I
⑷ T⑵I
⑸ P
⑹ US⑸
⑺ T⑶⑹I
⑻ T⑺E
⑼ US⑷
⑽ US⑻
⑾ T⑼⑽I
⑿ UG⑾
六、证明10%
离散数学试卷(二)
26
离散数学试卷(四)
您可能关注的文档
- 福建省2013事业单位工勤人员升级《公共课程》中级.doc
- 福建省三明市A片区2015-2016学年高一上学期期末考试语文试题(含答案).doc
- 福建省会计从业资格考试全真模拟试卷财经法规与会计职业道德一.doc
- 福建省厦门五中10-11学年八年级第二学期期末考试(语文)-掌门1对1.doc
- 福建省厦门市洪塘中学八年级语文下册第25课《诗词曲五首》导学案.doc
- 福建省大田一中2013届高三上学期期中考试英语试题.doc
- 福建省小学三年级上册信息技术.doc
- 福建省情(常识判断题)大盘点.doc
- 福建省泉州五校2015届高三上学期摸底联考试卷.doc
- 福建省泉州市泉港三川中学七年级数学上册3.1.2代数式学案.doc
- 七章货物的保险.pptx
- 三章国际间接投资.pptx
- 人性假设理论.pptx
- 外研高一英语必修三ModuleIntroduction汇总市公开课获奖课件省名师示范课获奖课件.pptx
- 月相成因优质获奖课件.pptx
- 小学二年级语文课件《狐假虎威》省名师优质课赛课获奖课件市赛课一等奖课件.pptx
- 养羊业概况专题知识讲座.pptx
- 微生物的实验室培养市公开课获奖课件省名师示范课获奖课件.pptx
- 人教版六年级下册式与方程整理与复习市公开课获奖课件省名师示范课获奖课件.pptx
- 必威体育精装版高中精品语文教学:第二单元-第7课-诗三首:涉江采芙蓉、-短歌行、归园田居市公开课获奖课件省名师.pptx
文档评论(0)