全文预览已结束
下载本文档
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
第1页，共3页一、填空题(每空2分，共44分)一、填空题(每空2分，共44分) 题号二三四总分阅卷人PQ0010110111答：(填“是”或“否”)7、设谓词公式P(x,y),满足如下指派I:1010根据如上取值，确定下列各式的真值：9、设全集U={1,2,3,4,5,6,7,8,9,10},A={1,2,4,5,6},B={2,4,6,8,10},p(A)=。11、请说出以下二元关系是否满足自反性、反自反性、对称性、反对称性和传递性。°B°cAAACBC二、在全总个体域中，用谓词和量词将下列命题符号化。(每题3分，共12分)1、小张不是研究生。2、不是所有的哺乳动物都是胎生的。3、某些药对某些病有作用。4、有的汽车比所有的火车快。1、(10分)构造命题公式-P√(Q入(P→Q))的真值表，并由此写出它的主析取范式和主合取范式。第3页，共3页2、(12分)设集合A={a,b,c},R,S是A上的两个二元关系。其中R={<a,a>,<a,b>,<b,b>,<c,a>},3、(8分)某班有30个学生，其中16个人选择艺术，8个人选择生物，6个人选择音乐，三门课都选的有2人，问这三门课都没选的至少有多少人?四、证明题(每题7分，共14分)1、在命题逻辑中，构造一个证明过程来证明以下推理是成立的：如果天气晴朗，并且没有考试，则他们今天就外出郊游；今天他们没有外出郊游，而且
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 承接古建景观工程合同模板
- 店铺中介转让合同模板
- 大丰果品购销合同模板
- 砂石收购合同模板
- 个人劳务施工合同模板
- 私人承包山林合同模板
- 物资授权合同模板
- 松江区冷藏配送合同模板
- 商业建筑施工承包合同模板
- 开新模具合同模板
- 半年保密工作检查记录表
- GB/T 30160.1-2013纺织机械与附件针织机用针术语第1部分：舌针
- GB/T 13989-1992国家基本比例尺地形图分幅和编号
- 企业经营决策模拟指南课件
- 甲基三乙氧基硅烷（CAS：2031-67-6）理化性质及危险特性表
- 砂石安全生产6篇
- 五年级上册数学竞赛试题-训练题1（培优、择校、竞赛）含答案
- 《学生健康体检管理系统》
- 收款账户确认书
- 四年级劳动教育-农庄小能手（积肥）（课件）
- 全县农畜产品营销现状的调查和思考
评论
0/150
提交评论