复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_25/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_27/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_29/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_28/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_26/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_24/29

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

数学归纳法是我们所学过的关于数学论证的一种行之有效的有利论证工具。然而,一天 我却在网上看到这样的论证: 1、“饭永远吃不饱!”证明如下: n=1时,1粒饭绝对吃不饱,n=1成立 设n=k时成立 n=k+1时,k粒饭吃不饱,多吃一粒也吃不饱的啦,n=k+1成立 所以,对所有自然数n,都有n粒饭吃不饱

六逻辑学与理性精神+ 1同一律的内容是:在同一思维过程中,一切思想都必须保持同一。 例1张先生买了块新手表。他把新手表与家中的挂钟对照,发现手表比挂钟慢了三分钟:后来他又把 家中的挂钟与电台的标准时对照,发现挂钟比电台标准时一天快了三分钟。张先生由此推断:他的表是准 确的

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题