北京交通大学离散数学 谓词逻辑_离散数学测验题——谓词逻辑答案

离散数学测验题(谓词逻辑部分)

一、符号化下列命题。(20分，每题10分) 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爱吃西瓜，则原命题可以表示为前后两个原子命题之间的合取,“有些人爱吃西瓜”可以表示为： x M(x) C(x) ；“不是所有人都爱吃西瓜”可以表示为 x M(x) C(x) ，或者 x M(x) C(x)

则原命题对应的谓词公式为： x M(x) C(x) x M(x) C(x) ，或者

x M(x) C(x) x M(x) C(x)

二、说明下列推理的有效性。(45分，每题15分)

1. 乌鸦是黑色的，天鹅不是黑色的；所以，天鹅不是乌鸦。 解：设B(x): x是乌鸦，M(x): x是天鹅，F(x): x黑色的。 则此推理可以表示为：

x B(x) F(x) , x M(x) F(x) x M(x) B(x) . 证明：(1) x ( M ( x ) →¬ F ( x )) (2)M ( y ) →¬ F ( y )

P规则

US(1) P 规则 US(3) (4)假言易位 (2)(5)假言三段论 UG(6)，证毕。

(3) x ( B( x ) → F ( x )) (4)B( y ) → F ( y )

(5)¬ F ( y ) →¬ B ( y ) (6)M ( y ) →¬ B ( y )

(7) x( M( x ) →¬ B ( x )) 利用反证法证明：