首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
admin
2008-04-01
93
问题
设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
系统分析师上午综合知识考试
软考高级
相关试题推荐
求两个串中的第一个最长子串(神州数码以前试题)。如"abractyeyt","dgdsaeactyey"的最大子串为"actyet"。
设置本地连启动WindowsXP系统自带防火墙。
将【CuteFTP】站点管理器中普通FTP站点文件夹下标识名为Internet的站点设置为文件名“保持大小写”。
在Word表格中,同时对多个不同的列排序,列之间的关系为()。A.与的关系B.或的关系C.非的关系D.用户自动设定
在Excel97中,某一时刻,工作表中的活动单元格数量为()。A.1个B.2个C.3个D.任意多个
在windows中桌面是指()A.电脑台 B.活动窗口 C.资源管理器 D.窗口、图标、对话框所在的屏幕背景
信息系统中信息资源的访问控制是保证信息系统安全的措施之一。下面关于访问控制的叙述中错误的是________。
【程序说明】使用如下表的数据:SQL语句SELECT产地,COUNT(*)提供的商品种类数;FROM商品表;WHERE单价>200;GROUPBY产地HAVINGCOUNT(*)>=2;ORDER
当没有802.11b客户端在802.11b/g小区时,在AP的信标(beacon)中将会出现什么样的信息?A、NON_ERPpresent:yes;UseProtection:noB、NON_ERPpresent:no;UseProtectio
用数学归纳法证明命题P(n)对任何自然数正确,一般包括两个步骤:第一,建立基础,例如证明P(1)正确;第二,建立推理关系,例如证明n≥1时,如果命题P(n)正确则可以推断命题P(n+1)也正确。这种推理关系可以简写为:n≥1时P(n)→P(n+1)。
随机试题
下列不属于企业组织行政手段的是()
Windows2000中要自动隐藏任务栏,可以在任务栏属性对话框选中“______”复选框。
中间宿主种类广泛的原虫是
新生儿护理的重点是
下面()规定不符合对于安全防范监控中心的要求。
MACD能够表示股价的波动趋势,并追随这个趋势,不轻易改变。MA则不具备这个保持追踪趋势的特性。( )
哲学的基本问题是思维和存在即精神和物质的关系问题,这个问题包括两个方面,下列选项中对第二方面的表述,正确的有()。
三位股评专家正在对三家上市公司明天的股价走势进行预测。甲说:“公司一的股价会有一些上升,但不能期望过高。”乙说:“公司二的股价可能下跌,除非公司一的股价上升超过5%。”丙说:“如果公司二的股价上升,公司三的股价也会上升。”三位股评专家果然厉害,一天
Whatisimpliedabouttoday’sevent?
Therehavebeenfiveextinctionwavesintheplanet’shistory—includingthePermianextinction250millionyearsago,【C1】______a
最新回复
(
0
)