离散数学2013年12复习本科.docVIP

命题逻辑部分 1．计算真值表、并由此写出主析取与主合取范式一个命题公式的主范式具有唯一的表示形式，这样可以精减一个推理系统，去掉多余的等价的前提。其唯一性借助于小项或大项的设计，一个公式中所用到的小项或大项个数与其真值表中所对应的1或0的个数相对应，不能多也不能少。注意：真值表与公式有什么区别？ p qp pq pq pqq 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 02．设 A、B是两个命题公式，证明： a AB当且仅当AB是永真式。b AB的充要条件是AB且BA。 等价与蕴涵是对两个公式进行比较的概念，性质b说明两者之间的关系，相对而言蕴涵比等价更重要。与上面两个性质相关联的一个等价公式是：ABAB BA. 3．证明 P→Q→RQ→P→R ┐R→Q→ ┐P证明从前提PQ，┐QR可演绎出┐P证明RS可从前提PQS，┐RP和Q推出。├├P 2 PQ, SQ, R, R∨S ├ P 谓词逻辑 写出谓词的含义、一个谓词公式的解释应包含什么内容？ 谓词是命题中用于判断的部分，从语法上看就是陈述句的谓语部分，因而并不十分关注特定的个体，而是将个体作为一个变化的量来对待类似于函数的自变量_函数形式，当这个变化的量指定为一个固定的个体时，谓词转变为一个命题类似于函数值。所以，谓词的逻辑表达能力比命题更精细。