数理逻辑蕴含_(1)逻辑学(形式逻辑/数理逻辑): 基本概念

什么是命题

(1)陈述句: 对(2)确定的对象进行(3)判断.

真值是命题的固有属性, 但是能否知道真值是另外一回事; 也就是说, 当前条件下能否判断出真值, 不是是否是命题的条件.

自相矛盾的悖论不能算命题, 命题非真即假

排中律

非真即假

任何一个事物在某个时间段内具有或者不具有某个属性, 而没有其他"中间状态", 叫做排中律

反证法就是典型的排中律运用

直觉主义者对排中律的质疑: 有穷推到无穷会出问题;

逻辑连接词

连接词内容

原子命题

原子命题+逻辑连接词 = 复合命题

非, 或, 且, 如果就, 当且仅当(等价),

命题如何变成算式

抽象

仅仅关注命题的本质属性: 真值

仅仅关注逻辑连接词的本质属性: 运算

把命题和逻辑连接词变成符号 用规则连接

原子命题: p, q, r, s 记号

逻辑连接词符号: 非!, 且^, 或v, 如果就→, 当且仅当 双向箭头;

符号的定义

命题的真值: 1 true, 0 false

*形式主义者: 数学就是符号的游戏, 只不过有一部分恰好符合现实世界而已

逻辑连接词具体定义

非 not

注意: 天鹅都是白的 非命题: 天鹅不都是白的/ 并非所有天鹅都是白的;

且 and conjunction 合取(看俩)

刘灵既聪明, 又用功 ==> p ^ q

刘灵不但聪明, 而且用工 ==> p ^ q

刘灵虽然不聪明, 但是用工 ==> !p ^ q

刘灵不是不聪明, 而是不用功 ==> p ^