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

11

离散数学测验题

(

谓词逻辑部分

)

一、符号化下列命题。

(

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 ))

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)

假言易位

(6)M

( y ) →¬

B ( y )

(2)(5)

假言三段论

(7)



x( M

( x ) →¬

B ( x ))

UG(6)

，证毕。

利用反证法证明：