考试
1970-01-01 08:00:00用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有
题目描述
用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。 证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数; 前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x)); 结论:∃x(R(x)∧Z(x))。 (1)∃x(Q(x)∧Z(x)) P (2)Q(c)∧Z(c) ES(1) (3)∀x(Q(x)→R(x)) P (4)Q(c)→R(c) US(3) (5)Q(c) T(2)I (6)R(c) T(2)(4)I (7)Z(c) T(2)I (8)R(
答案解析
√
加载中...
AI正在思考中,请稍候...相关试题
(判断题)蒸汽供应系统主管每隔一段距离安装一
(单选题)强磁机和弱磁机是按()划分的。
研发工程师主要工作就是通过技术的革新产生新的
垄断竞争市场在长期中的利润趋势是()。
这几天小林闷闷不乐。原来三天前,小林和同班同
(单选题)20世纪80年代以来的财政困境迫使
【单选题】 如果35MPa≤P关<70MPa
某中学学生黄某自小学习勤奋。在校期间,多次被
“人生须知负责任的苦处,才能知道尽责任的乐趣
下列各政权,曾经与南宋并立的是:①北宋②辽③
某校发生了一起盗窃案,公安局抓获了四名犯罪嫌
普通干散货船运输市场的特点包括()。A市场上
中国的什么河是世界上海拔最高的河流:
请任意写出红木的三个类别。
诺兰模型有( )个阶段.A5B6C7D8
根据《建设工程质量管理条例》规定,施工单位应
在开工前需要进行专家论证的工程有( )。
连续激光焊接中可分为()。
房屋及设备维护人员
根据《道路交通安全法》的规定,同车道行驶的机