[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$fU9dn9wDEquuP3FZglMMbw0aOp1AcGpwwswobqd4qXac":3},{"answer":4,"createTime":5,"id":6,"options":7,"origin":12,"question":19,"related":20,"source":30,"type":31},[],"2023-11-21 14:37:06",107467683,[8,9,10,11],"¬P→Q;P∧Q","P→Q;P∨Q","¬P∧Q;P→Q","¬P→Q;P→Q",{"count":13,"courseId":14,"courseImg":15,"courseName":16,"workId":17,"workName":18},10,"5c4937583a0d7b472b958b386bec839a","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F25b30343053994e8940089572d36015b.jpg","2023秋-人工智能概论","7aa75d09acd149609e33f284ff772af4","第四章章节测试","P:你努力,Q:你失败."如果你不努力,那么你将失败"可表示为 ;"虽然你努力了,但还是失败了"可表示为",[21,32,42,51,60,69,78,81,90,99],{"answer":22,"createTime":5,"id":23,"options":24,"question":29,"source":30,"type":31},[],107467673,[25,26,27,28],"(P→Q) = (¬P∨Q)","(P↔Q) = (¬P∨Q)∧(P∨(¬Q))","(P∨Q)→R = (¬P)∧(¬Q)VR","¬P∧Q = Q→P","下列等价变换错误的是( )","v1",0,{"answer":33,"createTime":5,"id":34,"options":35,"question":40,"source":30,"type":41},[],107467675,[36,37,38,39],"¬ A(x, y)∨¬B(y)∨C(f(x))","¬ A(x, y)∨¬B(y)∨D(x, f(x))","A(x, f(x))∨D(x, f(x)))","¬B(y)∨C(y)","已知F:(∀x)[ (∃y)(A(x, y)∧B(y))→(∃y)(C(y)∧D(x, y))], G:¬ (∃x)C(x)→(∀x)(∀y)(A(x, y)→¬B(y)), G为F的逻辑结论,将F与¬G化子句集后,子句集中含有的子句包括( )",1,{"answer":43,"createTime":5,"id":44,"options":45,"question":50,"source":30,"type":31},[],107467676,[46,47,48,49],"1","0","可满足式","无法判定","公式A=(∃x)(P(x)→Q(x))的解释 I 为:个体域D={2} ,P(x) :x>3, Q(x) :x=4 , 则 A 的真值为( )",{"answer":52,"createTime":5,"id":53,"options":54,"question":59,"source":30,"type":31},[],107467678,[55,56,57,58],"永真式","包孕式","空子句","重言式","反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证",{"answer":61,"createTime":5,"id":62,"options":63,"question":68,"source":30,"type":31},[],107467679,[64,65,66,67],"M(x) →Mortal(x)","M(x)∧Mortal(x)","(∀ x) (M (x)→Mortal(x))","(∃ x) (M (x)∧Mortal(x))","" 人总是要死的" 谓词公式表示为( ).(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的",{"answer":70,"createTime":5,"id":71,"options":72,"question":77,"source":30,"type":31},[],107467681,[73,74,75,76],"P(x); R(x, y)","P(x)∧Q(x, A); R(x, y)","P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)","P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)","公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为( ), ∃y的辖域为( )",{"answer":79,"createTime":5,"id":6,"options":80,"question":19,"source":30,"type":31},[],[8,9,10,11],{"answer":82,"createTime":5,"id":83,"options":84,"question":89,"source":30,"type":31},[],107467684,[85,86,87,88],"S={¬P(x, y)∨Q(x, y)}","S={¬P(x, y)Q(x, y)}","S={P(x, y)∨Q(x, y)}","S={P(x, y)Q(x, y)}","已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是( )",{"answer":91,"createTime":5,"id":92,"options":93,"question":98,"source":30,"type":31},[],107467685,[94,95,96,97],"P(x, f(A))∨R(z)","P(x, f(A))∨Q(x)∨R(z), σ ={f(y)\u002Fx}","P(f(y),f(A))∨R(z), σ ={f(y)\u002Fx}","P(f(x), f(x))∨R(z)","P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为( )",{"answer":100,"createTime":5,"id":101,"options":102,"question":107,"source":30,"type":31},[],107467687,[103,104,105,106],"C(zhang, li)","¬C(x, y)∨At(x, u)∨At(y, u)","At(zhang, 302)","¬At(li, v)∨At(li, v)","已知:张和李是同班同学,如果x和y是同班同学,则x的教室也是y的教室,现在张在302教室上课.问:现在李在哪个教室上课?其中定义谓词:C(x, y)为x和y是同班同学;At(x, u)为x在u教室上课.则以下( )选项不属于该问题反演求解过程中的子句集"]