- 1、本文档共10页,其中可免费阅读4页,需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
谓词逻辑习题将下列命题用谓词符号化小王学过英语和法语大于仅当大于或是质数不是偶数除非李键是东北人否则他一定怕冷解令令令令令大于命题符号化为是偶数命题符号化为是质数命题符号化为学过英语学过法语是北方人怕冷李键小王命题符号化为命题符号化为设个体域消去下列各式的量词解中显然对是自由的故可使用规则得到因此再用规则所以中它对不是自由的故不能用规则然而对中约束变元改名得到这时用规则可得略略设谓词表示等于个体变元和的个体域都是求下列各式的真值解当时可使式子成立所以为当时就不成立所以为任意的使得显然有的情况出现
( PAGE #
( PAGE #)
(4)
(5)
谓词逻辑习题
将下列命题用谓词符号化。
小王学过英语和法语。
2大于3仅当2大于4。
(4
(4) 2或3是质数。
3不是偶数。
(5)除非李键是东北人,否则他一定怕冷。
解:
(1)
令:
⑵
令:
⑶
令:
⑷
令:
令:
x大于y,命题符号化为
x是偶数,命题符号化为
x是质数,命题符号化为
x学过英语,Q(x) : x学过法语,
x是北方人;:x怕冷;:李键;
C:小王,命题符号化为
命题符号化为
(2)设个体域,消去下列各式的量词。
(2)
(1)
(4)
解:
(1)中,显然对y是自由的,故可使用
UE规则,得到
,因此,
文档评论(0)