逻辑学期中考试题及答案.docxVIP

逻辑学期中考试题及答案

考试时间：120分钟?总分：100分?年级/班级：高一（1）班

试标题:“逻辑学期中考试题及答案”

一、选择题

1.下列哪个选项是命题逻辑的合法公式？

A.(p→q)∧(q→r)

B.(p∧q)→r

C.p∨?q

D.(p∨q)→?r

2.在命题逻辑中，以下哪个是永真式？

A.p∨?p

B.p∧?p

C.(p→q)∧(q→p)

D.(p∧q)→p

3.下列哪个选项是谓词逻辑的合法公式？

A.?x(P(x)→Q(x))

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

C.?x?y(P(x,y))

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

4.在谓词逻辑中，以下哪个公式是永真式？

A.?x(P(x)→P(x))

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

C.?x?y(P(x,y)∧Q(y))

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

5.下列哪个选项是命题逻辑的永真蕴含式？

A.p→(q→p)

B.(p→q)→(p→r)

C.(p→q)∧(q→p)

D.(p∧q)→p

6.在命题逻辑中，以下哪个公式是可满足的？

A.p∧?p

B.(p→q)∧?(p→q)