山东体育学院《离散数学》2021-2022学年期末试卷

上传人：1*** IP属地：湖南上传时间：2024-07-30 格式：DOC 页数：5 大小：393.41KB 积分：3.6 举报 版权申诉

全文预览已结束

 下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

课程编号：MTH07034山东体育学院2021-2022学年第二学期

2020级离散数学期末试题(A卷)

班级_学号_姓名成绩_

题号12345678总分

得分

1.选择题(共10题，每题1分)

1)设p:我有时间，q:我去旅游，下面哪个命题可以符号化为p→q?()

A.除非我有时间，我才去旅游.

B.除非我去旅游，否则我没时间.

C.只有我有时间，我才去旅游.

D.我去旅游仅当我有时间.

2)设C(x)表示x是运动员，G(x)表示x是强壮的，则命题“没有运动员不是

强壮的”符号化为哪个公式?()

A.-Vx(C(x)^-G(x))B.-Vx(C(x)→-G(x))

C.-3x(C(x)^-G(x))D.-3x(C(x)→-G(x))

3)设F(x)表示x是火车，G(y)表示y是汽车，H(xy)表示x比y快，则命题“有

的汽车比所有的火车快”符号化为下面哪个公式?()

A.3y(G(v)→Vx(F(x)^H(x,y)))B.3y(G(y)AVx(F(x)→H(y,x)))

C.Vx3y(G(y)→(F(x)^H(x,y)))D.3y(G(y)→Vx(F(x)→H(x,y)

4)下列推理哪个是不正确的?()

A.前提：-pv(q→r),-svp,q结论：s→r

B.前提：(pvq)→(r^s),(svt)→u结论：p→u

C.前提：(p^q)→r,r→s,-sλp结论；q

D.前提：p→(q→r),p,q结论：rvs

5)下面哪个命题公式是永真式?

人人文库> 全部分类> 教育资料 > 辅导培训

1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。