构成无向简单图的度数序列条件_离散数学复习大纲2010 (2).doc

(说明：有些因为符号太多，不方便打出公式，不会的同学可以单独联系我辅导，答案中有些重点知识已经做出说明，请同学们掌握相关的方法，不要单纯背题)

第一部分数理逻辑

命题符号化

设p:天气很热,q:湿度很小,则命题“天气炎热但湿度很小”的符号化形式为

令天下雪，我去市里，我有时间，则命题“如果天不下雪，我有时间，那么我就去市里”符号化为。

设p:小王走路,q:小王听音乐,则命题“小王边走路边听音乐”的符号化形式为

设T(x):x是火车，C(y):y是卡车， H(x,y): x比y快，在谓词逻辑中，命题“所有火车都比某些卡车快”的符号化形式为

真值表

的成假赋值为_110__的成假赋值为___001________。

个命题变项的公式最多有__2个极小项。熟悉极小项与极大项的性质

使命题公式的类型是___(3)___________。

(1) 重言式; (2) 矛盾式;

(3) 可满足式; (4) 不属于(1)、(2)、(3)任何类型。

一价逻辑公式的类型是___(1)_____。

(1) 重言式; (2) 矛盾式;

(3) 可满足式; (4) 不属于(1)、(2)、(3)任何类型。

的类型是__(1)______。

重言式 ； (2) 矛盾式 ；(3) 可满足式 ； (4) 不属于(1),(2),(3) 任 何 类 型。

从此处开始往下的知识要求融会贯通

公式的主析取范式中包含小项__A_______。

A. ;B.C; D 。

使命题公式为假的真值指派是 (1) 。

<