[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f7OyvCcEYa1zbwYEIgmERoltF7QiwUlUnvzxgjFWGCCQ":3},{"answer":4,"createTime":5,"id":6,"options":7,"origin":8,"question":15,"related":16,"source":22,"type":23},[],"2025-01-07 20:40:14",176846019,[],{"count":9,"courseId":10,"courseImg":11,"courseName":12,"workId":13,"workName":14},8,"a526d6a0c86c384fb8679f56d0f0f7fe","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F48eba3395437dd881b1b9275a0ad1028.png","离散数学与应用","exam_145870806","2023级离散数学B阶段测试-主观题","在自然推理系统P中构造下面推理的证明.如果今天是星期一,我们就去上离散数学课或者去参加社团.如果上离散数学课的人太多,我们就不去上离散数学课.今天是星期一.上离散数学课的人太多.所以,我们去参加社团",[17,24,29,34,39,44,49,54],{"answer":18,"createTime":5,"id":19,"options":20,"question":21,"source":22,"type":23},[],176846011,[],"设R是集合A上的二元关系,求闭包与关系矩阵. \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fc70f03b0bccf1df75a7915fc7856666f.png\">","v1",4,{"answer":25,"createTime":5,"id":26,"options":27,"question":28,"source":22,"type":23},[],176846012,[],"设个体域为\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F87847ee9d4c3c7894510e17a28fdbaf4.png\">,\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F0cf610b6fa8fe5ac9222673561691941.png\">;\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F26aa4cfac9250abd165e8d39ee7c3fc4.png\">;将公式\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Ffff15ec0cdb2e2a7d9f365f9cc3ab677.png\">和\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F6d1b202eb95feb5fe9e51a65ee92ea43.png\">的量词消去",{"answer":30,"createTime":5,"id":31,"options":32,"question":33,"source":22,"type":23},[],176846013,[],"设A={1,2,3,...,9},R是A上的以4为模的同余关系.求:(1)R的所有等价类;(2)画出R的关系图",{"answer":35,"createTime":5,"id":36,"options":37,"question":38,"source":22,"type":23},[],176846014,[],"设计由一个灯泡和3个开关ABC组成的电路,要求:在且仅在下述四种情况下灯亮. \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F35b0adf2501499326c1abcd31ec8af61.png\">",{"answer":40,"createTime":5,"id":41,"options":42,"question":43,"source":22,"type":23},[],176846015,[],"设F,G,H为任意关系,证明:\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F7070335c4e65f0cd0f20e944ff43639e.png\">.(2)由数学归纳法可以证明,上述结论对于有限多个关系的交也是成立的,请写出此结论",{"answer":45,"createTime":5,"id":46,"options":47,"question":48,"source":22,"type":23},[],176846017,[],"设R和S是集合A={a,b,c,d}上的关系,其中\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fa9ca151d23768c2e6ab22d94c0ff2e5d.png\">, S\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fb08a331a37a816d06733a6976713a4d8.png\">.(1)根据题目给出的二元关系,分别写出R和S的关系矩阵;(4分)(2)根据题目,直接写出\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F3ba635a0bfe2c027fce4a2cda9b75403.png\">, \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F66353599d572e6db3bccec3e91869b10.png\">, \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fc621f240d77057030dd6e2f75a2e74a2.png\">, \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F2b269ba0fbf36c3c475d3c8080b3272a.png\">, \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002Fe5cfea07802feb1f374b7f93e4a874d3.png\">;(5分)(3)计算\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F76338715c236c822f3390c14217faf94.png\">, \u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F365957558fa07697c6717d5473070a2b.png\">,\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F1ca4b8312fc804e9a0861b9f71cc9655.png\">.",{"answer":50,"createTime":5,"id":51,"options":52,"question":53,"source":22,"type":23},[],176846018,[],"已知命题公式:\u003Cimg src=\"https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F609b81911a698e129b0a697d2afff903.png\">,求:(1)用等值演算法写出命题公式的主析取范式,再用主析取范式求主合取范式;(2)直接写出公式的成真赋值与成假赋值",{"answer":55,"createTime":5,"id":6,"options":56,"question":15,"source":22,"type":23},[],[]]