题海让大学四年没有难题
白天模式登陆

题目详情

多选题 下列( )是谓词公式.‌

A. ~P(x)

B. P(x)

C. P(x)→Q(x)

D. D.P(x)+Q(x)→R(x)

人工智能原理-2022智能课程封面

学科：人工智能原理-2022智能

时间：2024-05-17 13:49:21

相关题目

相关作业

题目1
单选题
在公式<img src="https://tihai-oss-cloud.itihey.com/img/e738110a6017128ebbdfc75ecb9d65ff.webp">中存在量词是在全称量词的辖城内,我们允许所存在的x可能依赖于y值.令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x这种函数叫做( )
A. Skolem 函数B. 依赖函数C. 决定函数D. 多元函数
题目2
单选题
下列那个不是子句的特点
A. 子句间是没有析取词的B. 子句间是没有合取词的C. 子句中可以有析取词D. 子句通过合取词连接句子
题目3
单选题
子句<img src="https://tihai-oss-cloud.itihey.com/img/c71203fec10f06826c6bd8f26b9b24fa.webp">和P经过消解以后,得到( )
A. ~QB. QC. ~PD. P
题目4
单选题
已知谓词公式<img src="https://tihai-oss-cloud.itihey.com/img/d128e0b2532af17b39fb032cb0230def.webp">将其化为子句集的结果正确的是
A. <img src="https://tihai-oss-cloud.itihey.com/img/26c9d2d4fcb0fe133b4e0dc99231e523.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/d6c28b3ff42ccf13c2191815752d3b4f.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/39cd7c53b92617170e1e89bf85b91bdd.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/26bf2ab3418f17a5ad0df170b949bd6b.webp">
题目5
单选题
&lrm;化子句集的步骤不包括以下哪个选项
A. 把目标的否定化成子句式,并用重言式表示B. 消去存在量词C. 把母式化为合取范式D. 化为前束形
题目6
单选题
在谓词公式中,连接词的优先级别从高到低排列是( )
A. ﹁,&or;, &and;, &rarr;B. &and;,&or;,﹁,&rarr;C. ﹁, &and;, &or;,, &rarr;D. ﹁, &and;, &or;, &rarr;
题目7
单选题
谓词公式G是不可满足的,当且仅当对所有的解释( )
A. G都为真B. G都为假C. G有时为假有时为真D. G可为真也可为假
题目8
多选题
已知<img src="https://tihai-oss-cloud.itihey.com/img/3721cec100d7f990225810b50f82a50b.webp">,<img src="https://tihai-oss-cloud.itihey.com/img/e2847a583fcec11ccbc0760dd325d122.webp">, G为F的逻辑结论,将F与~G化子句集后,子句集中含有的子句包括( )
A. <img src="https://tihai-oss-cloud.itihey.com/img/60b4aaebdd8aac3b2cefaa2f23de3654.webp">B. <img src="https://tihai-oss-cloud.itihey.com/img/92a9acf5a1b2e6c0e5c4319b317457ea.webp">C. <img src="https://tihai-oss-cloud.itihey.com/img/ce38c1d9dd97a53ca9c5a989b3a709a3.webp">D. <img src="https://tihai-oss-cloud.itihey.com/img/a4c4185df307354a7bf92e4c028bdd59.webp">
题目9
多选题
下列( )是谓词公式.&zwnj;
A. ~P(x)B. P(x)C. P(x)&rarr;Q(x)D. D.P(x)+Q(x)&rarr;R(x)
题目10
多选题
以下关于归结原理叙述不正确的有()
A. &quot;文字&quot;与&quot;文字的非&quot;结合后成为空子句B. 空子句是可满足的C. 文字的析取构成子句D. 转换合取范式时,存在量词可直接去掉
Copyright © 2022 津ICP备2021001502号