文档介绍：概述:基本概念
思维的形式结构
包括概念、判断和推理之间的结构和联系
形式逻辑的侧重点
与其说是注重论证本身，不如说注重的是论证形式
形式逻辑的一般格式就是三段论。
例：苏格拉底三段论：
所有的人都是要死的，
苏格拉底是人，
所以，苏格拉底是要死的。
第1页/共83页
概述:基本概念
传统逻辑和数理逻辑
19世纪中叶以前的形式逻辑是传统逻辑
19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑
第2页/共83页
什么是数理逻辑
数理逻辑：以数学的方法研究思维规律和推理过程的科学。
它首先引进一套符号体系，规定一些规则，导出一些定律，然后借助于这些符号、规则、定律，将逻辑推理的过程在形式上变得像代数演算一样，因此数理逻辑又称符号逻辑。
数理逻辑是传统逻辑的发展，是现代形式逻辑
第3页/共83页
微积分
——力学、机械工程
——人类体力劳动自动化
数理逻辑
——人工智能、知识工程
——脑力劳动自动化
第4页/共83页
数理逻辑
命题逻辑（数理逻辑的基础，以命题为研究对象，研究基于命题的符号逻辑体系及推理规律，也称命题演算）。
主要内容：
１、命题与联结词
２、命题公式、翻译和真值表
３、重言式
４、命题联结词的扩充
５、范式
６、命题演算的推理规则和证明方法
谓词逻辑（对命题逻辑的深入研究）。
第5页/共83页
第一章命题逻辑
§1 命题与联结词
一、命题
1、什么是命题？
命题是陈述客观外界发生事情的陈述句。
命题或为真或为假的陈述句。
特征：
陈述句
真假必居其一，且只居其一。
§1 命题与联结词
第6页/共83页
① 中国是一个发展中国家。② 人是由猴进化而来的。③ 早上好！④ 王侯将相，宁有种乎？⑤ 己所不欲，勿施于人！⑥ 宇宙是大爆炸形成的。⑦ 我正在说谎。⑧ 这道题太难。
2、命题的真值。
一个命题的真或假称为命题的真值，简称值。
由于命题只有真假两个值，所以命题逻辑也称二值逻辑。
以T（或1）表示命题的真值为真，F（或0）表示命题的真值为假
√
√
√
悖论
模糊逻辑
§1 命题与联结词
EX1：
第7页/共83页
3、命题的分类与表示
分类根据其真值分类：
真命题。
假命题。
根据其复杂程度分类：
简单命题或原子命题。
复合命题。
§1 命题与联结词
第8页/共83页
命题的抽象表示
在数理逻辑中，通常用大(小)写字母表示命题，P、Q、R…，或用带下标的大写字母Pi、Qi、Ri 或者数字（1）、（2）、 … 。
表示命题的符号称为命题标识符，如P、 Q、 R、… Pi、Qi、Ri …。
EX2：
P：4是偶数；
Q：煤是白的。
P1：离散数学考试，张三和李四都及格了。
§1 命题与联结词
第9页/共83页
命题的抽象表示
一个命题标识符如果表示确定的命题，就称为命题常量。
如果命题标识符只表示任意命题的位置标志，就称为命题变元。
则命题的抽象为：取值为T（或1）或F（或0）的P、Q、R等符号。
若P取值T（或1），则表示P为真命题；
若P取值F（或0），则表示P为假命题；
§1 命题与联结词
第10页/共83页