[数理逻辑]经典逻辑的总体思考
来源:互联网 发布:淘宝源代码 编辑:程序博客网 时间:2024/05/30 13:42
=========================
经典逻辑的总体思考(未完成)
=========================
基本概念
------------------------------------
命题
内容
逻辑形式
形式语言:人工构造的符号语言,代替自然语言,能精确表示命题的逻辑形式。
语义:符号及符号表达式的含义
语法:符号表达式的形式结构
经典逻辑
------------------------------------
研究范围:命题逻辑和一阶逻辑
研究内容:
公式结构(构成方式)
语义(对公式的解释)
逻辑推论(?)
形式推演(语法规则、推演规则)
可靠性和完备性(逻辑推理及形式可推演性 关系 ?)
=================================================
命题逻辑 逻辑推理 形式可推演性
---------------------------------------------------------------------
一阶谓词 一阶逻辑推理 一阶形式可推演性
=================================================
可靠性和完备性
------------------------------------
可靠性
可满足的==〉协调的
所有 形式可推演性成立 的关系 逻辑推理成立
完备性
协调的 ==〉可满足的
所有 逻辑推理成立 的关系 形式可推演性成立
可满足性:语义概念
协调性 :语法概念
完备性:语义成立 则语法成立
协调性:语法成立 则语义成立
- [数理逻辑]经典逻辑的总体思考
- 数理逻辑:谓词逻辑(9)谓词逻辑公式的范式
- 数理逻辑:谓词逻辑(3)谓词的集合论意义
- 数理逻辑:谓词逻辑(5)公理的一致性和独立性
- [数理逻辑]可靠性和完备性的一点思考
- 逻辑回归的思考
- 产品经理必须知道的三种经典逻辑思考方式
- 业务逻辑层的思考
- 【金字塔原理】思考的逻辑
- 路径逻辑引发的思考
- 数理逻辑:谓词逻辑(7)域的同构与公理系统的完备性
- 数理逻辑:谓词逻辑(6)域和域之间的1-1对应
- 数理逻辑:谓词逻辑(10)永真公式和可满足公式的判定
- 数理逻辑:谓词逻辑(0) 目录及说明
- 数理逻辑:谓词逻辑(1)谓词
- 数理逻辑:谓词逻辑(2)量词
- 数理逻辑:谓词逻辑(4)公理
- 数理逻辑:谓词逻辑(8)自然数公理
- 论“熟能生巧”
- 今天第一次写BLOG!
- 我的debian安装源
- 【翻译】Managed DirectX(第六章)
- 强作文(一)
- [数理逻辑]经典逻辑的总体思考
- 基本DELPHI中XML编程--简单节点增删改查
- OLAP函数语法的总结
- 创建自己的Web Menu(1)
- Blog
- Starwar i
- 了结
- [翻译] Effective C++, 3rd Edition, Item 12: 拷贝一个 object(对象)的所有 parts(构件)
- 面对博客我重新洗牌!