数学逻辑期末试题及答案.docxVIP

数学逻辑期末试题及答案

一、选择题（共20分）

1.将命题“如果明天不下雨，我就去公园”符号化为命题逻辑公式，其中$p$表示“明天不下雨”，$q$表示“我去公园”，则该命题的符号化形式为（）。

A.$p\toq$

B.$q\top$

C.$p\landq$

D.$p\lorq$

2.下列逻辑等价式中，不正确的是（）。

A.$\neg(p\toq)\Leftrightarrowp\land\negq$

B.$p\toq\Leftrightarrow\negp\lorq$

C.$p\leftrightarrowq\Leftrightarrow(p\landq)\lor(\negp\land\negq)$

D.$p\toq\Leftrightarrow\negq\to\negp$

3.在谓词逻辑中，公式$\forallx(P(x)\toQ(x))\to(\forallxP(x)\to\forallxQ(x))$是（）。

A.可满足的

B.不可满足的

C.重言式

D.矛盾式

4.命题公式$p\land\negp$的主析取范式