形法期末考试题及答案.docxVIP

形法期末考试题及答案

一、选择题（共30分，每题2分，共15题）

1.下列哪个命题是重言式？

A.p∧q

B.p∨?p

C.p→q

D.p?q

2.在命题逻辑中，如果p则q的符号表示是：

A.p∨q

B.p∧q

C.p→q

D.p?q

3.下列哪个推理规则是肯定前件式？

A.从p→q和p推出q

B.从p→q和?q推出?p

C.从p→q和?p推出?q

D.从p∨q和?p推出q

4.在谓词逻辑中，?xP(x)表示：

A.存在一个x使得P(x)为真

B.对于所有x，P(x)为真

C.对于至少一个x，P(x)为真

D.对于所有x，P(x)为假

5.下列哪个集合是命题逻辑中的合取范式？

A.(p∨q)∧(?p∨r)

B.p→(q∧r)

C.(p∧q)∨(?p∧r)

D.?(p∨q)

6.在自然演绎系统中，归谬法的规则是：

A.从??p推出p

B.从假设p推出矛盾，从而推出?p

C.从p和?p推出q

D.从p∨q和?p∨r推出q∨r

7.下列哪个命题与并非所有S都是P逻辑等价？

A.有些S