[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f-vpintVq9pixZmkd5IxrgxC22BSi34Su0HuJkzYDSX8":3},{"id":4,"source":5,"question":6,"options":7,"answer":12,"related":13,"type":110,"origin":111,"createTime":37},159140328,"v1","命题\"并不是每个人都想出国留学\",假设,A(x)表示x 想出国留学,则命题可以表示为:【1】",[8,9,10,11],"∀x(⇁A(x))","∃x(⇁A(x))","⇁∀x(A(x))","⇁∃x(A(x))",[],[14,27,38,48,55,65,75,85,95,106],{"id":15,"source":5,"question":16,"options":17,"answer":22,"related":23,"type":24,"origin":25,"createTime":26},159140318,"命题\"所有的机器人都是灰色的\"可以表示为: 【1】",[18,19,20,21],"(∃x)[ROBOT(x)→ COLOR(x,GRAY)]","(∀x)[ROBOT(x)→ COLOR(x,GRAY)]","(∀x)[ROBOT(x)↔COLOR(x,GRAY)]","(∃x)[ROBOT(x)↔ COLOR(x,GRAY)]",[],[],0,null,"2024-09-10T16:47:47+08:00",{"id":28,"source":5,"question":29,"options":30,"answer":35,"related":36,"type":24,"origin":25,"createTime":37},159140320,"一阶谓词逻辑中,Bob是在IBM工作的工程师 Works(Bob,IBM,engineer),这是一个【1】谓词",[31,32,33,34],"二元","一元","三元","变元",[],[],"2024-12-08T12:44:08+08:00",{"id":39,"source":5,"question":40,"options":41,"answer":46,"related":47,"type":24,"origin":25,"createTime":37},159140321,"一阶谓词逻辑中,谓词逻辑运算符↔,表示【1】",[42,43,44,45],"或者","并且","当且仅当","如果...则.",[],[],{"id":49,"source":5,"question":50,"options":51,"answer":52,"related":53,"type":24,"origin":25,"createTime":54},159140322,"谓词逻辑运算符→,表示【1】",[44,45,42,43],[],[],"2024-12-07T00:07:49+08:00",{"id":56,"source":5,"question":57,"options":58,"answer":63,"related":64,"type":24,"origin":25,"createTime":26},159140323,"一阶谓词逻辑中,如果Friend(x,y)表示x与y是朋友.则(∀x)(∃y)Friend(x,y)表示()",[59,60,61,62],"每个人都有一个朋友","有一个人是所有人的朋友","有一个人有一个朋友","人人都是朋友",[],[],{"id":66,"source":5,"question":67,"options":68,"answer":73,"related":74,"type":24,"origin":25,"createTime":37},159140324,"一阶谓词逻辑中,如果Love(x,y)表示x喜爱y.则(∃y)(∀x)Love(x,y)表示()",[69,70,71,72],"有的人所有人都喜爱他","每个人都有喜爱的人","有的人有喜爱的人","所有人都喜爱他",[],[],{"id":76,"source":5,"question":77,"options":78,"answer":83,"related":84,"type":24,"origin":25,"createTime":54},159140325,"命题\"某个学生读过《三国演义》\"可以表示为:【1】",[79,80,81,82],"∃x(student(x)→read(x, 三国演义))","∃x(student(x)∧read(x, 三国演义))","∀x(student(x)∧read(x, 三国演义))","∃x(student(x)⋁read(x, 三国演义))",[],[],{"id":86,"source":5,"question":87,"options":88,"answer":93,"related":94,"type":24,"origin":25,"createTime":37},159140326,"如果李华跑得最快,那么他取得冠军. 使用一阶谓词表示法,表示为【1】",[89,90,91,92],"RUNS (Lihua,fastest)∨WINS (Lihua ,champion)","RUNS (Lihua,fastest)∧WINS (Lihua ,champion)","RUNS (Lihua,fastest)←WINS (Lihua ,champion)","RUNS (Lihua,fastest)→WINS (Lihua ,champion)",[],[],{"id":96,"source":5,"question":97,"options":98,"answer":103,"related":104,"type":24,"origin":25,"createTime":105},159140327,"在一阶谓词逻辑中,命题\"如果李华跑得最快,那么他取得冠军\"表示成谓词公式,就要用到连接词【1】",[99,100,101,102],"蕴涵(条件)","析取","合取","等价",[],[],"2024-12-06T21:57:33+08:00",{"id":4,"source":5,"question":6,"options":107,"answer":108,"related":109,"type":110,"origin":25,"createTime":37},[8,9,10,11],[],[],1,{"courseName":112,"courseImg":113,"workName":114,"workId":115,"count":116,"courseId":117},"人工智能","https:\u002F\u002Fp.ananas.chaoxing.com\u002Fstar3\u002Forigin\u002F8f3d6d1e7b9d26d34ae28a8e3b253265.jpg","2.2一阶谓词","5ed972d7fbe646d8983c5e0602e2a94d",17,"3a8342c5817fde55f0d9d0ddd8b119df"]