[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f7Zn-AhNUnZq9BN6GSDOhlHaJrAmKw_k-9NI_oWbyzTQ":3},{"id":4,"source":5,"question":6,"options":7,"answer":12,"related":13,"type":24,"origin":111,"createTime":26},159140323,"v1","一阶谓词逻辑中,如果Friend(x,y)表示x与y是朋友.则(∀x)(∃y)Friend(x,y)表示()",[8,9,10,11],"每个人都有一个朋友","有一个人是所有人的朋友","有一个人有一个朋友","人人都是朋友",[],[14,27,38,48,55,59,69,79,89,100],{"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":4,"source":5,"question":6,"options":56,"answer":57,"related":58,"type":24,"origin":25,"createTime":26},[8,9,10,11],[],[],{"id":60,"source":5,"question":61,"options":62,"answer":67,"related":68,"type":24,"origin":25,"createTime":37},159140324,"一阶谓词逻辑中,如果Love(x,y)表示x喜爱y.则(∃y)(∀x)Love(x,y)表示()",[63,64,65,66],"有的人所有人都喜爱他","每个人都有喜爱的人","有的人有喜爱的人","所有人都喜爱他",[],[],{"id":70,"source":5,"question":71,"options":72,"answer":77,"related":78,"type":24,"origin":25,"createTime":54},159140325,"命题\"某个学生读过《三国演义》\"可以表示为:【1】",[73,74,75,76],"∃x(student(x)→read(x, 三国演义))","∃x(student(x)∧read(x, 三国演义))","∀x(student(x)∧read(x, 三国演义))","∃x(student(x)⋁read(x, 三国演义))",[],[],{"id":80,"source":5,"question":81,"options":82,"answer":87,"related":88,"type":24,"origin":25,"createTime":37},159140326,"如果李华跑得最快,那么他取得冠军. 使用一阶谓词表示法,表示为【1】",[83,84,85,86],"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":90,"source":5,"question":91,"options":92,"answer":97,"related":98,"type":24,"origin":25,"createTime":99},159140327,"在一阶谓词逻辑中,命题\"如果李华跑得最快,那么他取得冠军\"表示成谓词公式,就要用到连接词【1】",[93,94,95,96],"蕴涵(条件)","析取","合取","等价",[],[],"2024-12-06T21:57:33+08:00",{"id":101,"source":5,"question":102,"options":103,"answer":108,"related":109,"type":110,"origin":25,"createTime":37},159140328,"命题\"并不是每个人都想出国留学\",假设,A(x)表示x 想出国留学,则命题可以表示为:【1】",[104,105,106,107],"∀x(⇁A(x))","∃x(⇁A(x))","⇁∀x(A(x))","⇁∃x(A(x))",[],[],1,{"courseName":112,"courseImg":113,"workName":114,"workId":115,"count":116,"courseId":117},"人工智能","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F1965153f6f5efd2fba07815761982aeb.jpg","2.2一阶谓词","5ed972d7fbe646d8983c5e0602e2a94d",17,"3a8342c5817fde55f0d9d0ddd8b119df"]