首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
设A(x):x是金子,B(x):x是闪光的,则命题“没有不闪光的金子,但闪光的不一定是金子”形式化为(56)。
admin
2008-04-01
88
问题
设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
系统分析师上午综合知识考试
软考高级
相关试题推荐
整理收藏夹重新命名“新闻”子文件夹为“我的新闻”。
如果有一个wanglong@lnu.edu.cn的邮件地址,利用这个邮件地址进行注册。
启动操作系统自带的Intemet连接防火墙。
在控制面板窗口,将系统日期设置为2008年8月8日。
微型机的闪存与硬盘相比较,硬盘的特点是()。A.存储容量大B.便于携带C.价格高D.外形美观
pc机的标准输入设备是()。
为当前文档插入传统型封面,并键人公司名称为“天宇考王”,标题为“著名楼阁”。
Organizationsshouldkeepsystemdocumentationonhandtoensurethatthesystemisproperlycaredfor,thatchangesarecontrol
WidgetsInc.wishestoprotectitslogofromunauthorizeduse.Whichofthefollowingwillprotectthelogoandensurethatothe
YoucopythecontentsoftheWindows2000ProfessionalCDtoasharednetworkfoldernamed\\Server1\Win2000p.Youusetheshare
随机试题
精索
文字处理软件是一种计算机系统软件,实现文字的电子化,对文字进行编辑、排版和打印。()
简述政策性金融机构的含义。
直丝弓矫治器如何清除第一序列弯曲
异形淋巴细胞的常见病因是
(2009)下述钢筋混凝土柱的箍筋作用的叙述中,不对的是()。
风险管理是基金公司经营管理的重要组成部分,以下表述符合风险管理全面性原则要求的是()。[2017年11月真题]Ⅰ.公司应建立具体的风险控制指标体系Ⅱ.风险控制必须覆盖公司的各项业务Ⅲ.风险控制必须覆盖公司的
关于政府债券论述正确的是( )。
根据我国选举法的规定,享有选举权的基本条件是()。
A、Theymustpayoffthetuitionfortheireducation.B、Theymusthavethemilitarytraining.C、Theymusttakepartincollegeco
最新回复
(
0
)