[数理逻辑]经典逻辑的总体思考

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
经典逻辑的总体思考（未完成）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

基本概念
------------------------------------
命题
　　内容
　　逻辑形式

形式语言：人工构造的符号语言，代替自然语言，能精确表示命题的逻辑形式。
语义：符号及符号表达式的含义
语法：符号表达式的形式结构

经典逻辑
------------------------------------
　　研究范围：命题逻辑和一阶逻辑
　　研究内容：
　　　　公式结构（构成方式）
　　　　语义（对公式的解释）
　　　　逻辑推论（？）
　　　　形式推演（语法规则、推演规则）
　　　　可靠性和完备性（逻辑推理及形式可推演性 关系 ？）

=================================================
命题逻辑　　逻辑推理　　　形式可推演性
---------------------------------------------------------------------
一阶谓词　　一阶逻辑推理　一阶形式可推演性
=================================================

可靠性和完备性
------------------------------------

可靠性
　　可满足的==〉协调的
　　所有　形式可推演性成立　的关系　逻辑推理成立

完备性
　　协调的  ==〉可满足的
　　所有　逻辑推理成立　的关系　　　形式可推演性成立

可满足性：语义概念
协调性　：语法概念

完备性：语义成立　则语法成立
协调性：语法成立　则语义成立