数理逻辑1 -- 命题演算5
来源:互联网 发布:js对象私有属性 编辑:程序博客网 时间:2024/05/20 14:18
上一节介绍了演绎定理,接下来看看用它能玩出什么新花样。
定理1.15:
注:有点双重否定即肯定的意思。
证明:利用演绎定理,证明
(1)
(2)
(3)
(4)
(5)
(6)
(7)
证毕
定理1.15反过来也是可以的,如下:
定理1.16:
证明:这次直接来,不需要演绎定理。
(1)
(2)
(3)
(4)
证毕
接着证明两个“常识”。
定理1.17:
注:和定理1.12一样,用演绎定理再证一次。
证明:只需证明
证明开始:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
证毕
定理1.17“反过来”也一样
定理1.18:
证明:只需证
(1)
(2)
(3)
(4)
证毕
定理1.19:
证明:
(1)
(2)
(3) D,假设
(4)
(5)
(6)
(7)
(8)
(9)
(10)
证毕
定理1.20:
证明:
(1)
(2)
(3)
(4)
证毕
玩了这么多,对这个系统L有了很多的了解,下节再玩几下就可以了。
- 数理逻辑1 -- 命题演算5
- 数理逻辑1 -- 命题演算1
- 数理逻辑1 -- 命题演算2
- 数理逻辑1 -- 命题演算3
- 数理逻辑1 -- 命题演算4
- 数理逻辑1 -- 命题演算6
- 数理逻辑:命题演算(5) 单调性 (尚缺,待补)
- 数理逻辑:命题演算(0)目录
- 数理逻辑:第二章第一节 命题演算的公理系统
- 数理逻辑:命题演算(2)真公式的定义 (正在编辑)
- 数理逻辑:命题演算(3)演绎定理 (尚缺,待补)
- 数理逻辑:命题演算(6) 等价公式 (尚缺,待补)
- 数理逻辑:命题演算(4)命题演算的某些规则(尚缺,待补)
- 数理逻辑:命题演算(8)命题逻辑公式与命题演算公式 (尚缺,待补)
- 数理逻辑:命题演算(9)命题演算的无矛盾性 (尚缺,待补)
- 数理逻辑:命题演算(10)命题演算的完备性 (尚缺,待补)
- 数理逻辑:命题演算(11)命题演算公理的独立性 (尚缺,待补)
- 1、数理逻辑
- hadoop-2.6.4本地编译
- Git使用,实战版
- 查看类是否包含在jar包中
- POJ 2356 Find a multiple(抽屉原理)
- qt 读写文件
- 数理逻辑1 -- 命题演算5
- 异步委托四步走
- JVM高级特性与实践(九):类加载器 与 双亲委派模式(自定义类加载器源码探究ClassLoader)
- Hibernate的QBC与HQL分页查询
- 电脑新建文件或者更改东西,无法刷新,提示错误---解决办法
- PAT B1013.数素数
- MYSQL学习笔记(六)创建计算字段
- strcat字符串拼接函数
- 三年经验 这是我在博客园看的 深有感触 放在这里激励自己吧