登陆题目详情
单选题 反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证
学科：2023秋-人工智能概论
时间：2023-11-21 06:37:06
相关题目
相关作业
题目1单选题
下列等价变换错误的是( )A. (P→Q) = (¬P∨Q)B. (P↔Q) = (¬P∨Q)∧(P∨(¬Q))C. (P∨Q)→R = (¬P)∧(¬Q)VRD. ¬P∧Q = Q→P
题目2多选题
已知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化子句集后,子句集中含有的子句包括( )A. ¬ A(x, y)∨¬B(y)∨C(f(x))B. ¬ A(x, y)∨¬B(y)∨D(x, f(x))C. A(x, f(x))∨D(x, f(x)))D. ¬B(y)∨C(y)
题目3单选题
公式A=(∃x)(P(x)→Q(x))的解释 I 为:个体域D={2} ,P(x) :x>3, Q(x) :x=4 , 则 A 的真值为( )A. 1B. 0C. 可满足式D. 无法判定
题目4单选题
反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证A. 永真式B. 包孕式C. 空子句D. 重言式
题目5单选题
" 人总是要死的" 谓词公式表示为( ).(论域为全总个体域) M(x) : x是人;Mortal(x) :x 是要死的A. M(x) →Mortal(x)B. M(x)∧Mortal(x)C. (∀ x) (M (x)→Mortal(x))D. (∃ x) (M (x)∧Mortal(x))
题目6单选题
公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为( ), ∃y的辖域为( )A. P(x); R(x, y)B. P(x)∧Q(x, A); R(x, y)C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
题目7单选题
P:你努力,Q:你失败."如果你不努力,那么你将失败"可表示为 ;"虽然你努力了,但还是失败了"可表示为A. ¬P→Q;P∧QB. P→Q;P∨QC. ¬P∧Q;P→QD. ¬P→Q;P→Q
题目8单选题
已知谓词公式(∀x)(∀y)(P(x, y)→Q(x, y)),将其化为子句集的结果正确的是( )A. S={¬P(x, y)∨Q(x, y)}B. S={¬P(x, y)Q(x, y)}C. S={P(x, y)∨Q(x, y)}D. S={P(x, y)Q(x, y)}
题目9单选题
P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为( )A. P(x, f(A))∨R(z)B. P(x, f(A))∨Q(x)∨R(z), σ ={f(y)/x}C. P(f(y),f(A))∨R(z), σ ={f(y)/x}D. P(f(x), f(x))∨R(z)
题目10单选题
已知:张和李是同班同学,如果x和y是同班同学,则x的教室也是y的教室,现在张在302教室上课.问:现在李在哪个教室上课?其中定义谓词:C(x, y)为x和y是同班同学;At(x, u)为x在u教室上课.则以下( )选项不属于该问题反演求解过程中的子句集A. C(zhang, li)B. ¬C(x, y)∨At(x, u)∨At(y, u)C. At(zhang, 302)D. ¬At(li, v)∨At(li, v)
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
