离散数学测验题谓词逻辑答案.docVIP

离散数学测验题 谓词逻辑部分 一、符号化下列命题。（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 →? F x P规则 2 M y →? F y US 1 3 x B x → F x P 规则 4 B y → F y US 3 5 ? F y →? B y 4 假言易位 y →? B y 2 5 假言三段论 x M x →? B x UG 6 ，证毕。 利用反证法证