首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
在谓词演算中,P(A) 是xP(x)的有效结论,根据是 (60) 。
在谓词演算中,P(A) 是xP(x)的有效结论,根据是 (60) 。
admin
2009-02-15
61
问题
在谓词演算中,P(A) 是
xP(x)的有效结论,根据是 (60) 。
选项
A、US规则
B、UG规则
C、ES规则
D、EG规则
答案
A
解析
全称量词消去规则的定义为
,即A(C) 是
的有效结论.故应选择A。
转载请注明原文地址:https://kaotiyun.com/show/xoLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
设置TCP/IP属性由DHCP服务器负责分配IP地址。
从当前界面开始,到“电话和调制解调器的选项”中,将系统中的标准56000bps调制解调器删除。
编译程序是()的软件。A.对目标程序装配连接B.将高级语言程序翻译成等价的机器语言程序C.对源程序边扫描边翻译执行D.将汇编语言程序翻译成机器语言程序
计算机能直接识别和执行的语言是()A.机器语言B.高级语言C.数据库语言D.汇编程序
在Word表格中,对表格的内容进行排序,下列不能作为排序类型的有()。A.笔划B.拼音C.偏旁部首D.数字
下列叙述中,不属于结构化程序设计方法的主要原则的是()。
计算机的算法具有以下()性质。
Brian,asecurityadministrator,isrespondingtoavirusinfection.Theantivirusapplicationreportsthatafilehasbeeninfe
论IT服务风险管理风险是在实现服务目标过程中所带来的不确定性和可能性,风险一旦发生,会对服务产生某种影响。请以“IT服务风险管理”为题,分别从以下三个方面进行论述:(1)概要叙述你参与管理过的IT服务项目(项目的背景、项目规模、目的、项目内容、组织结构
IPv6协议规定,一个IP地址的长度是()位。
随机试题
证券市场线可以表示为()。Ⅰ.E(rp)=rF+[E(rM)-rF]βPⅡ.E(rp)=rF+βPE(rM)-rFβPⅢ.rP=αP+βPrM+εPⅣ.σP2=βP2σM2+εP2
A.麝香B.冰片C.石菖蒲D.苏合香E.安息香治疗湿浊蒙蔽清窍之耳聋耳鸣,宜选用()
对医务人员进行道德评价的依据是
肾病综合征常见的并发症不包括
计算原料对二甲苯的利用率。根据表3已有的数据及去除率,计算排放池的出水COD浓度,建设单位为了节约用水,将出水作为生活杂用水回用,要求达到《生活杂用水水质标准》的规定(COD50mg/L),请判断通过这套处理设施能否达到?并以设计规模计算COD的年排
沥青混合料在运输过程中,混合料应予以废弃的情况有( )。
经济特区的“特”,主要体现在实行()和特殊的管理体制上。
学生考试作弊是每一位老师都不能容忍的问题。然而,有位化学老师在发现学生作弊后竟然告诉学生说,下次单元测验他允许学生们带一张A4纸,上面写上自己想写的任何东西。于是考前学生们纷纷认真地准备自己的那张A4纸。考试结束后,老师让大家把自己所写的A4纸都贴到教室后
一台Cisco路由器R1的第3模块第1端口通过DDN的El专线与一台远程路由器R2的第4模块第2端口相连,在R1的端口上封装PPP协议。为R1和R2端口分配的IP地址分别为193.42.91.201/30和193.42:91.202/300下列R2的端口配
Sometravelersbelievecarriersintentionallygroundhalf-filledflightstocutcost,onlytofilluplaterplanes.Mysteriousc
最新回复
(
0
)