[数理逻辑]第一篇

本数理逻辑研究范围：

　　路钟万 面向计算机科学的数理逻辑 中所包含的数理逻辑问题。

目的：用数学方法研究逻辑问题

　　前提-->结论

分类：

　　演绎逻辑：前提真-->结论真（可推导关系）（本书研究的主要类别）

　　　　可推导型：前提真与结论真之间的一种关系（由前可推导结）

　　归纳逻辑：真的前提-->协调的结论（不要求真）（协调：与前提或自身协调）

形式语言：

　　目的：精确的表达命题逻辑形式。

　　语义：符号、符号表达式的涵义。

　　语法：符号表达式的形式结构。