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