[数理逻辑]第一篇

本数理逻辑研究范围：
　　路钟万 面向计算机科学的数理逻辑 中所包含的数理逻辑问题。

目的：用数学方法研究逻辑问题
　　前提-->结论
分类：
　　演绎逻辑：前提真-->结论真（可推导关系）（本书研究的主要类别）
　　　　可推导型：前提真与结论真之间的一种关系（由前可推导结）
　　归纳逻辑：真的前提-->协调的结论（不要求真）（协调：与前提或自身协调）
形式语言：
　　目的：精确的表达命题逻辑形式。
　　语义：符号、符号表达式的涵义。
　　语法：符号表达式的形式结构。