首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
admin
2008-04-01
104
问题
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
选项
A、(
x)(A(x)一B(x))∧(
y)(A(y)一下B(y))
B、(
x)(B(x)→A(x))∧(
y)(┓A(y)∧B(y))
C、(
x)(A(x)→B(x))∧(
y)(A(y)∧B(y))
D、(
x)(┓A(x)VB(x))∧(
y)(┓A(y)∧B(y))
答案
D
解析
本题考查的是谓词逻辑方面的基本知识点。题目中的命题是复合命题,前半句:没有不闪光的金子┓A(x)∨B(x)任何一个物体,如果该物体是金子,则该物体一定会发光,即符号表达为:(x)(A(x)→B(x))。后半句:闪光的不一定是金子存在一个物体,该物体发光,但是,该物体不是金子。即符号表达为:(y)(┓A(y)∧B(y)),谓词逻辑的等价公式:A(x)→B(x)等价于┓A(x)∨B(x)。
转载请注明原文地址:https://kaotiyun.com/show/L7QZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
概述.NET里对remoting和webservice两项技术的理解和实际中的应用。
在OutlookExpress中,将主题“job”邮件的字体大小设置成最大。
在【站点管理器】中使用鼠标右键菜单方式,修改FTP站点名为:“video”的站点属性,使“video”的站点“启动过滤”功能,并区分大小写进行过滤。
从当前界面开始,找到“电话和调制解调器”选项相应的设置界面,将扬声器的音量设置为最高。
一篇100页的文档,下列打印页码范围错误的是()。A.5912-20B.7,10,90C.6,9,12-20D.8-12
计算机网络按照信号频带占有方法来划分为()A.基带网和宽带网B.双绞线网和光纤网C.环形网和点线形网D.局域网和广域网
将成绩表中单元格E13的总分平均分利用INT函数取整,结果保存在单元格F13中。
为了避免混乱,十六进制在书写时常在后面加上字母()。
【程序说明】本题使用如下数据表:学生.DBF:学号(C,8),姓名(C,6),性别(C,2),出生日期(D)选课.DBF:学号(C,8),课程号(C,3),成绩(N,5,1)查询选修课程号为“101”课程得分最高的同学,正确的SQL语句是___
论IT服务团队建设管理IT服务团队的整体绩效取决于系统规划与管理师采用何种办法来管理团队。不同的企业在IT服务团队管理时有着不同的特性。请以“IT服务团队建设管理”为题,分别从以下三个方面进行论述:1.概要叙述你参与过的或者你
随机试题
在ASP.NET中,默认控件在页面上相对于页面是静态的,不能拖动。如果希望像WinForms那样,控件可以拖到哪里就在哪里显示,可以采用以下()方法。
免疫荧光检查显示线状荧光的疾病是
扑热息痛属于
燃气管道之所以要根据输气压力来分级,是因为燃气管道的()与其他管道相比,有特别严格的要求。
乙公司向甲公司购买材料一批。乙公司在付款时发现,发票的正确金额应该是5000元,甲公司却误填为50000元。正确的做法是()。
全球系统重要性金融机构(G-SIFI)由国际监管机构在全球范围内从规模、关联性、复杂性、可替代性及全球活跃程度等五个方面对大型跨国金融机构进行评价后确定,每年的12月由金融稳定理事会(FSB)对外公布。()
借款人应从()开始归还商业助学贷款。
董事会和高级管理层应当充分认识到自身对风险管理所承担的责任,并确保风险管理政策措施能够在整个金融企业得到贯彻和落实是指金融风险管理的()。
某旅行社组织40人的旅游团赴北京旅游,每人收取旅游费2000元。旅行社实际为每人支付住宿费500元,餐费350元,交通费300元,门票100元。已知旅游业营业税税率为5%。该旅行社此次旅游业务应缴纳的营业税税额为()元。
法的基本特征有()。
最新回复
(
0
)