文章目录
数理逻辑
- 数理逻辑
- 命题逻辑
- 联结词的自然语言表述
-
- 逻辑蕴含
- 命题公式
- 命题符号化
-
- 例1
- 例2
- 例3
- 例4
- 例5
- 重言式和重言蕴含式
- 等价公式
- 范式
- 命题逻辑推理
- 联结词的全功能集
逻辑是是研究人的思维的科学。逻辑包括辩证逻辑和形式逻辑。辩证逻辑是研究人的思维中的辩证法；形式逻辑是研究人的思维的形式和一般规律。离散数学只研究形式逻辑，数理逻辑正是用数学的方法研究形式逻辑。
形式逻辑主要研究推理。推理是由若干个已知的判断(前提)，推出新的判断(结论)的思维过程。推理可以分为类比推理、归纳推理、演绎推理。类比推理由个别事实推出个别结论；归纳推理由若干个别事实推出一般结论；演绎推理由一般规律推出个别事实。形式逻辑主要是研究演绎推理的。
数理逻辑的主要内容包括&
