数理逻辑试题及详细答案.docxVIP

数理逻辑试题及详细答案

一、填空题（每空3分，共15分）

设P：“小明会编程”，Q：“小明会画画”，则命题“小明会编程或会画画，但不会同时会”的符号化表示为______。

命题公式?(P→Q)的成真赋值为______。

设个体域为{1,2}，谓词F(x)：x是偶数，G(x)：x是奇数，则?x(F(x)∧G(x))的真值为______。

谓词公式?xP(x)→?xQ(x)的前束范式为______。

若命题公式A和B等价，且A的主合取范式为M?∧M?，则B的主析取范式为______。

二、选择题（每题4分，共20分）

下列命题中，属于永真式的是（）

A.P→(P∨Q)

B.(P∧Q)→P

C.?(P∨Q)?(?P∧?Q)

D.以上都是

设命题公式A=(P→Q)∧R，则A的成假赋值个数为（）

A.2

B.3

C.4

D.5

下列谓词公式中，与?x(P(x)→Q(x))等价的是（）

A.?xP(x)→?xQ(x)

B.??x(P(x)∧?Q(x))

C.?xP(x)→?xQ(x)

D.?x(P(x)∨?Q(x))

设个体域为实数集，谓词F(x,y)：xy，则命题“存在一个实数x，对所有实数y，都有xy”的符号化表示为（）

A.?x?yF(x,y)