第2章谓词逻辑习题(共14页).doc

上传人:晟*** 文档编号:11255544 上传时间:2022-02-17 格式:DOC 页数:15 大小:782KB
下载 相关 举报
第2章谓词逻辑习题(共14页).doc_第1页
第1页 / 共15页
第2章谓词逻辑习题(共14页).doc_第2页
第2页 / 共15页
第2章谓词逻辑习题(共14页).doc_第3页
第3页 / 共15页
第2章谓词逻辑习题(共14页).doc_第4页
第4页 / 共15页
第2章谓词逻辑习题(共14页).doc_第5页
第5页 / 共15页
点击查看更多>>
资源描述

精选优质文档-倾情为你奉上第2章:谓词逻辑2.1 个体词、谓词与量词习题2.11. 将下列命题用0元谓词符号化。(1)小王学过英语和法语。(2)2大于3仅当2大于4。(3)3不是偶数。(4)2或3是质数。(5)除非李键是东北人,否则他一定怕冷。解: (1) 令:x学过英语,Q(x):x学过法语,c:小王,命题符号化为(2) 令:x大于y, 命题符号化为(3) 令:x是偶数,命题符号化为(4) 令:x是质数,命题符号化为(5) 令:x是北方人;:x怕冷;:李键;命题符号化为2. 设个体域,消去下列各式的量词。(1)(2)(3)(4)解:(1) 中,显然对y是自由的,故可使用UE规则,得到 ,因此,再用ES规则, ,所以(2)中,它对y不是自由的,故不能用UI规则,然而,对中约束变元y改名z,得到,这时用UI规则,可得: (3)略

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 实用文档资料库 > 公文范文

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。