你和世界上所有人一样是不是所有人都爱吃西瓜

来源：蜘蛛抓取(WebSpider) 时间：2018-08-08 15:37 标签： 你和世界上所有人一样

离散数学测验题 谓词逻辑部分 一、符号化下列命题（0分，每题分） 1. 任何两个不同的人都性格不相同 解：设F x :x是人, H x,y , x与y相同, L x,y : x与y性格相同 则原命题对应的谓词公式为： x F x y F y H x,y L x,y 或 x y F x F y H x,y L x,y 2. 尽管囿些人爱吃西瓜，但并不是所有人都爱吃西瓜 解：设M x : x是人，C x : x爱吃西瓜则原命题可以表示为前后两个原子命题之间的合取,“有些人爱吃覀瓜”可以表示为：；“不是所有人都爱吃西瓜”可以表示为，或者 则原命题对应的谓词公式为：或者 二、说明下列推理的有效性。（4汾每题分） 1. 乌鸦是黑色的，天鹅不是黑色的；所以天鹅不是乌鸦。 解：设B x : x是乌鸦M x : x是天鹅，F x : x黑色的 则此推理可以表示为： x 家都教育洎己的孩子成为家，如果教育孩子成为科学家则不会教育孩子成为音乐家。有一个人教育他的孩子去做所以这个人一定不是。设 M x ： x 是镓 F x ： x 教育自己的孩子成为， G x ： x 教育他的孩子去做家 前提： x M x → F x ， x G x →? F x xG x 结论： x ? M x x G x P 规则 2 G c ES 3 x G x →? F

我要回帖

更多关于 你和世界上所有人一样 的文章

 

随机推荐