首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
admin
2008-04-01
98
问题
设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
系统分析师上午综合知识考试
软考高级
相关试题推荐
两个单向链表,找出它们的第一个公共结点。链表的结点定义为:structListNode{intm_nKey;ListNode*m_pNext;};
输入一颗二元查找树,将该树转换为它的镜像,即在转换后的二元查找树中,左子树的结点都大于右子树的结点。用递归和循环两种方法完成树的镜像转换。例如输入:定义二元查找树的结点为:structBSTreeNode//anodeinthebi
使用.NETPassport向导注册MSN帐户,姓名为李明,邮件的地址为liming@hotmail.com,密码为123456lm。
从当前界面上的菜单或“网络任务”开始创建拨号连接,通过Modem连接到In-ternet,拨号时先拨0,再拨16300,用户名和密码均为16300,将创建的连接的名称命名为:linkl,然后在桌面上创建一个到此连接的快捷方式。除此之外,其余选项均使用默认设
使用菜单方式,添加“我的文档”文件夹下的队列文件“log”到“计划传输”任务中。设置计划传输日期为:“2009-11-12,20:12:14”;并且为“每天重复”。
在Word编辑中,若要对文档进行分栏,这时应选用的菜单是()。A.工具B.格式C.编辑D.视图
在Excel中,函数ABS(ROUND(-1.478,2))的计算结果是()。A.-1.478B.1.48C.-1.48D.1.5
在Excel97中,要在B1单元格中显示A1、A2、A3单元格中数据的平均值,错误的公式是()。A.=(A1+A2+A3)/3B.=SUM(A1:A3)/3C.=AVERAGE(A1:A3)D.=AVERAGE(A1:A2:A3)
关于微型计算机的知识,正确的说法是()。A.外存储器中的信息不能直接进入CPU进行处理B.系统总线是CPU与各部件之间传送各种信息的公共通道C.微型计算机是以微处理器为核心的计算机D.光盘驱动器属于主机,光盘属于外部设备
Youarethesystemadministratorforanelectronicsmanufacturingcompany.TheaccountingdepartmentusesWindows98computers.
随机试题
醇醛缩合反应中,应先加入()。
计量器具的检定标识为黄色说明()。
经营单位在竞争中取胜,一般要经过()
软件开发的螺旋模型综合了瀑布模型和演化模型的优点,还增加了_______。
患者,男,76岁,因呼吸困难、咳嗽、咳痰,给予氧气吸入。因需进食,对正在吸入的氧气应采取的最佳措施是
基础体温测定的最佳时间是
维护个人利益是个人行为的唯一动机。因此,维护个人利益是影响个人行为的主要因素。 以下哪项如果为真,最能削弱题干的论证?()
[2010年,第102题]在windows中,对存储器采用分段存储管理时,每一个存储段小至一个字节,大至()。
A公司为—般纳税企业.适用的增值税税率为17%。A公司2010年和2011年采用自营方式在厂区内建造—条生产线及其配套的简易仓库。有关资料如下。(1)2010年7月1日,为建造—条生产线和仓库,从银行取得专门借款4000万元,3年期,利率为6%,款项已经
在窗体上有一个文本框控件,名称为TextTime;一个计时器控件,名称为Timer1。要求每一秒在文本框中显示一次当前的时间。程序为:PrivateSubTimer1_______()TextTime.text=TimeEndSub
最新回复
(
0
)