[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$fdamBiWhFNhB5bgzcokw2kQlGB-gQNTQCH1hFeFZN4Xw":3},{"id":4,"source":5,"question":6,"options":7,"answer":8,"related":9,"type":16,"origin":41,"createTime":18},125367817,"v1","F1:小张(Zhang)在里,则小李(Li)莸云那里. F2:小张在学校里. 用归结原理回答:小李在哪里",[],[],[10,19,25,29,35],{"id":11,"source":5,"question":12,"options":13,"answer":14,"related":15,"type":16,"origin":17,"createTime":18},125367813,"已知: ①能够阅读的都是有文化的.②海豚是没有文化的.③某些海豚是有智能的. 用归结原理证明:某些有智能的并不能阅读",[],[],[],4,null,"2024-01-02T01:02:05+08:00",{"id":20,"source":5,"question":21,"options":22,"answer":23,"related":24,"type":16,"origin":17,"createTime":18},125367815,"设有如下关系: ①如果x是y的父亲.y又是z的父表,则x是z的祖父.②老李是大李的父亲.③ 大李是小李的父亲. 用归结原理回答:上述人员中谁和谁是祖孙关系",[],[],[],{"id":4,"source":5,"question":6,"options":26,"answer":27,"related":28,"type":16,"origin":17,"createTime":18},[],[],[],{"id":30,"source":5,"question":31,"options":32,"answer":33,"related":34,"type":16,"origin":17,"createTime":18},125367819,"把下列谓词公式化为相应的子句集. (Vx)(Vy)(\u003Cimg src=\"\u002Fananas\u002Flatex\u002Fp\u002F9815\">z)(P(x,y)→Q(x,y)VR(x,z))",[],[],[],{"id":36,"source":5,"question":37,"options":38,"answer":39,"related":40,"type":16,"origin":17,"createTime":18},125367821,"证明G是F1、F2、F3的逻辑结论F1:(Vz)(A(z)Λ¬B(z)→(\u003Cimg src=\"https:\u002F\u002Fmooc1.chaoxing.com\u002Fananas\u002Flatex\u002Fp\u002F9815\">y)(D(z,y)ΛC(y))) F2:(\u003Cimg src=\"\u002Fananas\u002Flatex\u002Fp\u002F9815\">z)(E(z)ΛA(z)Λ(Vy)(D(z,y)→E(y))) F3:(Vz)(E(z)→B(z)) G:(\u003Cimg src=\"https:\u002F\u002Fmooc1.chaoxing.com\u002Fananas\u002Flatex\u002Fp\u002F9815\">z)(E(z)ΛC(z))",[],[],[],{"courseName":42,"courseImg":43,"workName":44,"workId":44,"count":45,"courseId":46},"人工智能导论","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F08f72a73eee59808aefc38dce718be33.jpg","",0,"5c4d6557dfb6e439bbd33ce5f98cdb2b"]