(说明:有些因为符号太多,不方便打出公式,不会的同学可以单独联系我辅导,答案中有些重点知识已经做出说明,请同学们掌握相关的方法,不要单纯背题)
第一部分数理逻辑
命题符号化
设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) 。
<