首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
设P(x):x是金子,Q(x):x闪光,则命题“没有不闪光的金子”形式化为(53)。
设P(x):x是金子,Q(x):x闪光,则命题“没有不闪光的金子”形式化为(53)。
admin
2007-10-11
50
问题
设P(x):x是金子,Q(x):x闪光,则命题“没有不闪光的金子”形式化为(53)。
选项
A、
B、
C、
D、
答案
C
解析
在命题形式化时,如果用全总个体域,则对每一个个体变元的变化范围用特性谓词加以限制。一般地,对于全称量词,特性谓词应以条件式的前件加入:对于存在量词,特性谓词应以合取式的合取项加入。对于复杂的命题,在翻译时尽量按命题的语序进行翻译,然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。试题求解过程如下:[*]“没有不闪光的金子”按语序可形式化:[*]因此,“没有不闪光的金子”也可翻译为:
转载请注明原文地址:https://kaotiyun.com/show/qOQZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
C#中,stringstr=null与stringstr=””,请尽量用文字说明区别。(要点:说明详细的内存空间分配)
四个工人,四个任务,每个人做不同的任务需要的时间不同,求任务分配的最优方案。(2005年5月29日全国计算机软件资格水平考试——软件设计师的算法题)。
输入一个整数,求该整数的二进制表达中有多少个1。例如输入10,由于其二进制表示为1010,有两个1,因此输出2。
在一个ASPX文件中是否可以使用一种以上的语言?
执行下面代码后:
已知一台计算机名字为bob,搜索该计算机。
保存当前浏览的www.sina.com的网页到“D:\网页保存”文件夹,保存名称是新浪网页文字版,保存类型是txt。
设置拨号连接使得不在右下角的任务栏的通知区域中显示连接。
在【管理工具】的【计算机管理】窗口中,查看用FTP的属性,并将其从用户组中删除。
4月26日是CIH病毒发作的日子。假设今天是4月25日,请将系统的日设置为27日,以避免明天病毒发作。
随机试题
背景新建一图书馆工程,建设单位自行组织招标。招标文件规定:合格投标人为本省企业;自招标文件发出之日起15d后投标截止;投标人对招标人提出的疑问分别以书面形式回复给相应的提出疑问的投标人。建设行政主管部门评审招标文件时,认为个别条款不符合规定,经整改后进行
下列关于抗原的叙述中,哪项是错误的
A,一看、二问、三检查、四分诊B,五定——定数量品种、定点安置、定人保管、定期消毒灭菌、定期检查维修C,四轻——说话轻、走路轻、操作轻、关门轻D,三查七对E,二人查对护士在各种护理操作中做到
治疗沟螺旋体感染的首选药物是
关于债权人委员会,下列说法不正确的是()。
固定资产核算软件具有的特点有()。
在借贷期间可定期调整的利息率是()。
材料:五四运动出现了一批狂飙突进的猛将,如陈独秀、胡适、钱玄同、蔡元培、李大钊、鲁迅、周作人等。这些人站在时代的前列,高举文化批判的旗帜,面对中国传统而巩固的旧文化和旧礼教,指出它阻碍前进的保守性,以惊电迅雷的气势进行扫荡,从而开辟出一条通往光明的道
下列各产品中能适用我国《产品质量法》的是()。
Hasyourchildcrackedabookthissummer?Althoughadultsoftenjumpatthechancetocatchupontheirreadingduringvaca
最新回复
(
0
)