离散数学期中考试题参考试题(附答案)借鉴.docxVIP

离散数学期中考试题参考试题(附答案)借鉴

一、选择题（共15题，每题3分，共45分）

1.下列命题公式中，属于永真式的是（）

A.P∧?PB.P∨?PC.P→QD.P?Q

答案：B。解析：根据排中律，对于任意命题P，P∨?P恒为真，因此是永真式。A选项是矛盾式，C、D选项的真值取决于P和Q的具体取值。

2.设P：今天下雨，Q：我去公园，则命题“如果今天不下雨，我就去公园”可符号化为（）

A.?P→QB.P→?QC.?P∧QD.P∨?Q

答案：A。解析：“如果A，就B”的逻辑结构为A→B，本题中A为“今天不下雨”（?P），B为“我去公园”（Q），因此符号化为?P→Q。

3.下列关于谓词逻辑的说法中，正确的是（）

A.全称量词?后面只能跟个体变元

B.存在量词?后面只能跟个体常元

C.谓词公式中的自由变元可以被量词约束

D.谓词公式的解释是指对个体域和谓词的赋值

答案：D。解析：全称量词和存在量词后面既可以跟个体变元也可以跟个体常元，A、B错误；自由变元是指不受量词约束的变元，C错误；谓词公式的解释需要确定个体域、个体常元的取值、函数符号的定义以及谓词符号的真值，D正确。

4.设集合A={1,2,3}，B={2,3,4}，则A∩B=（）

A.{1,2,3