逻辑试题及答案.docxVIP

逻辑试题及答案

选择题（每题2分，共20分）

1.在命题逻辑中，下列哪个表达式是重言式？

A.p∧q

B.p∨?p

C.p→p

D.p?q

2.下列哪个推理形式是有效的？

A.如果p则q，q，所以p

B.如果p则q，非p，所以非q

C.如果p则q，非q，所以非p

D.如果p则q，p，所以q

3.在谓词逻辑中，表达式?x(P(x)→Q(x))的含义是：

A.对于所有x，P(x)和Q(x)都成立

B.存在x使得P(x)且Q(x)

C.对于所有x，如果P(x)成立则Q(x)也成立

D.存在x使得P(x)但不Q(x)

4.下列哪个是模态逻辑中的必然性符号？

A.

B.□

C.→

D.?

5.在自然推理系统中，下列哪个规则允许从p∨q和?p推出q？

A.肯定前件式

B.否定后件式

C.析取三段论

D.假言推理

6.下列哪种谬误属于人身攻击？

A.滑坡谬误

B.稻草人谬误

C.诉诸权威谬误

D.诉诸人身谬误

7.在逻辑学中，如果下雨，那么地会湿