成都理工大学离散数学课程资料复习资料
33 浏览量
2024-05-26
11:26:43
上传
评论
收藏 15.02MB PDF 举报
离
散数
学
第
⼀
章
：
数
理
逻辑
之
命
题
逻辑
三
次
数
学
危
机
毕
达
哥
拉
斯
悖
论
古
希
腊
的
毕
达
哥
拉
斯
学
派
，
认
为
万
物
皆
数
，⼀
切
事
物
可
以
归
结
为
整数
与
整数
的
⽐
，
即
数
的
和
谐
，
希帕
索
斯
发
现
了
根
号
⼆
推
理
论证
才
是
可
靠
的
⻉
克
莱
悖
论
有
关
微
积
分
驳
倒
不
接
受
神
的
数
学家
分
析
的
严
密
化
分
析
的
算
术
化
极
限
运
算
对
有
理
数
不
封
闭
，
有
理
数
序
列
的
极
限
不⼀
定
是有
理
数
实
数
理
论
戴
德
⾦
分割
(
⽆
理
数
理
论
)
⽪
亚
诺
(
⾃
然
数
理
论
)
⾃
然
数
最
终
依
赖
于
集
合
论
罗素
悖
论
命
题
的
符
号
化
例
如
：
张
三
或
李
四
都
能
解
决
这
个
问题
。
在
表
达
能
⼒
时
，两个
⼈
都
能
，
因
此
为
和取
。
表
达
⼯
作
安
排
时
，
可
以为
析
取
，不
能
看
到
或
就
为
析
取
例
如
：
8
能
被
4
整
除
，
所
以
能
被
2
整
除
。
因
为
..
所
以
，
则
是
p->q
在
分
析时
应
该
先
找
原
⼦
命
题
，
再
找
连
接
词
，
最
后
得
到
符
号
化
结
果
m
命
题
符
号
化
不
需
要
判
断
命
题
真
假
，
得
到
符
号
化
结
果
，
再判
断
真
假
等
于
和
等
价
的
区
别
命
题
公
式
是
⼀个
字
符
串
等
号
=
表
示
赋
值
每
⼀
组
逻辑
等
价
式
都
可
派
⽣
出
两
条
推
理
定
律
对
偶
与
范
式
对
偶
A*
和
A
互为
对
偶
若
A
逻辑
等
价
B
，
则
A
逻辑
等
价
B
先
消
去
其
他
联
结
词
，
再
求
对
偶
式
剩余12页未读，继续阅读
资源评论
