2026年常用逻辑用语试题及答案.docVIP

2026年常用逻辑用语试题及答案

一、填空题（每题2分，共20分）

1.在命题逻辑中，_________表示命题的否定。

2.谓词逻辑中的量词包括_________和_________。

3.命题公式G是重言式当且仅当其主析取范式包含_________。

4.在谓词逻辑中，谓词P(x)表示“x是偶数”，则?P(2)表示_________。

5.命题逻辑中的联结词“与非”可以表示为_________。

6.谓词逻辑中的全称量词符号为_________。

7.命题公式G是矛盾式当且仅当其主合取范式包含_________。

8.在命题逻辑中，命题变元是指_________。

9.谓词逻辑中的存在量词符号为_________。

10.命题逻辑中的联结词“或非”可以表示为_________。

二、判断题（每题2分，共20分）

1.命题逻辑中的重言式一定是永真式。（）

2.谓词逻辑中的全称量词表示对于所有个体，命题都为真。（）

3.命题公式G的主析取范式和主合取范式是唯一的。（）

4.在命题逻辑中，联结词“非”是一元联结词。（）

5.谓词逻辑中的存在量词表示存在至少一个个体，命题为真。（）

6.命题逻辑中的联结词“与”是二元联结词。（）

7.谓词逻辑中的全称量词和存在量词是互相对立的。（）

8.命题公式G是重言式当且仅当其主析取范式包含所有