精选优质文档-倾情为你奉上谓词逻辑习题1. 将下列命题用谓词符号化。(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)略(4)略3. 设谓词表示“等于”,个体变元和的个体域都是
Copyright © 2018-2021 Wenke99.com All rights reserved
工信部备案号:浙ICP备20026746号-2
公安局备案号:浙公网安备33038302330469号
本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。